Apoorv
141
reputation
7
Graduate Student interested in Programming languages, type systems, mathematical logic and a bit of philosophy