Stats
585
reputation
0
reached
0
answers
0
questions
Loading…
About
I’m passionate about functional programming, logic, type theory, category theory, and more.
Badges
View all badges
This user doesn’t have any gold badges yet.
2
-
Yearling
× 2Nov 14, 2019
1
-
AutobiographerOct 30, 2016
Posts
This user hasn’t posted yet.
Top network posts
View all network posts