Joshua Grosso Reinstate CMs
Member for 7 years, 2 months
Last seen more than 1 year 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.
This user doesn’t have any silver badges yet.
SupporterJun 9, 2021
AutobiographerSep 29, 2017
This user hasn’t posted yet.
Top network postsView all network posts