Joshua Grosso Reinstate CMs
Member for 8 years, 5 months
Last seen more than 3 years ago
Senior at Caltech, BS '23 (Computer Science). Ex-professional web developer.
Loves Haskell (and functional programming in general) and, recently, Coq.
This user doesn’t have any gold badges yet.
YearlingNov 14, 2019
AutobiographerJan 21, 2016
This user hasn’t posted yet.
Top network postsView all network posts