Post #2049515
2026-05-05 16:58 UTC
For the next 10 years I'm expecting Rust-style rewriting of HoTT in which language? Ah, Haskell again! Good.
Replies (1)
-
@5ht@mathstodon.xyz 2026-05-05 17:00
Cubical minds imprisoned in Haskell getto.