user avatar
user avatar
user avatar
Joshua Grosso Reinstate CMs
  • Member for 6 years, 3 months
  • Last seen more than 2 years ago
About

Senior at Caltech, BS '23 (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.
2
bronze badges
Top tags
4
Score
1
Posts
100
Posts %
4
Score
1
Posts
100
Posts %
4
Score
1
Posts
100
Posts %
4
Score
1
Posts
100
Posts %
4
Score
1
Posts
100
Posts %