Ali Caglayan

288
reputation
1
2
15

Interested in type theory, category theory and algebraic topology. Mixing these up is even more interesting.