Apoorv
259
reputation
4
14
Graduate Student interested in Programming languages, type systems, mathematical logic and a bit of philosophy