Post #2049514
2026-05-05 16:57 UTC
But al least we said it out that you are writing on shit. My Congratulations!
Replies (1)
-
@5ht@mathstodon.xyz 2026-05-05 16:58
For the next 10 years I'm expecting Rust-style rewriting of HoTT in which language? Ah, Haskell again! Good.