Apoorv
659
reputation
6
15
Graduate Student interested in Programming languages, type systems, mathematical logic and a bit of philosophy