This Tweet was deleted by the Tweet author. Learn more
Conversation
3
13
56
love those loopy bois and those quotient inductive inductive inductive types
GIF
1
1
my mind was blown when they exhaustively pattern matched on a torus and returned a pair of circles 😱
i'm still holding out hope for someone to translate Hatcher into type theory
1
Show replies