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.

#thonkin

  • 0 Posts
  • 1 Comment
Joined 2 年前
cake
Cake day: 2022年12月9日

help-circle