Update GSoC ideas page#542

samspills merged 3 commits intotypelevel:maintypelevel/typelevel.github.com:mainfrom

armanbilge:gsoc/2025-ideasarmanbilge/typelevel.github.com:gsoc/2025-ideasCopy head branch name to clipboard