This Tweet was deleted by the Tweet author. Learn more
Conversation
3
13
57
love those loopy bois and those quotient inductive inductive inductive types
GIF
my mind was blown when they exhaustively pattern matched on a torus and returned a pair of circles 😱
1
1
I KNOW
1
Show replies