Shitposting, if anything
Fucking around and finding out (mathematical)
Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don’t even really need to be round)
Haskell in the streets, agda in the sheets.
- 0 Posts
- 1 Comment
Joined 2 years ago
Cake day: December 9th, 2022
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.