Joshua Grosso Reinstate CMs
About

Senior at Caltech, BS '22 (Computer Science). Ex-professional web developer.

Loves Haskell (and functional programming in general) and, recently, Coq.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Posts

This user hasn’t posted yet.