https://space.torus.icu/ https://space.torus.icu/about/ https://space.torus.icu/blog/ https://space.torus.icu/blog/2026-6-30-more-verso/ 2026-06-30 https://space.torus.icu/blog/2026-4-18-dependent-pattern-matching-and-convoy-patterns/ 2026-04-18 https://space.torus.icu/blog/2026-2-23-heq-and-axiom-k-an-exploration-in-lean/ 2026-02-23 https://space.torus.icu/blog/2026-2-14-hello-verso/ 2026-02-14 https://space.torus.icu/blog/2023-7-5-upload-gradle-build-scripts-and-android-libraries-to-github-packages/ 2023-07-05 https://space.torus.icu/blog/2021-4-11-default-language-extensions-enabled-in-ghci/ 2021-04-11 https://space.torus.icu/blog/2020-10-27-setting-up-a-haskell-development-environment-on-arch-linux/ 2020-10-27 https://space.torus.icu/blog/lean/ https://space.torus.icu/blog/meta/ https://space.torus.icu/blog/other/ https://space.torus.icu/blog/type-theory/ https://space.torus.icu/blog/haskell/ https://space.torus.icu/scribbles/ https://space.torus.icu/scribbles/2026-8-15-magical-structure/ 2026-08-15 https://space.torus.icu/scribbles/2026-8-14-first-scribble/ 2026-08-14 https://space.torus.icu/scribbles/lean/ https://space.torus.icu/scribbles/meta/