simeondermaats
464
reputation
2
10
Undergraduate maths student at KU Leuven, with a strong interest in computer science, type theory and category theory. I wish I understood any of those better than I currently do though