Joshua Grosso Reinstate CMs
  • Member for 6 years, 11 months
  • Last seen more than a week ago
Stats
203
reputation
693
reached
0
answers
3
questions
Loading…
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.
1
silver badge
7
bronze badges
Top tags
0
Score
3
Posts
100
Posts %
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %