Ali Caglayan
5,606
reputation
10
43
72
Interested in type theory, category theory and algebraic topology. Mixing these up is even more interesting.