Apoorv
239
reputation
3
13
Graduate Student interested in Programming languages, type systems, mathematical logic and a bit of philosophy