101
reputation
1
int-index
I write Haskell for food. My areas of interest include dependently typed programming, type theory, language design.
-
Member for 2 months
-
0 profile views
-
Last seen Dec 31 '20 at 21:11
Communities (21)
Top network posts
Keeping a low profile.
This user hasn't posted yet.
