int-index
  • Member for 9 years, 7 months
  • Last seen more than a month ago
Stats
585
reputation
62k
reached
1
answer
3
questions
Loading…
About

I write Haskell for food. My areas of interest include dependently typed programming, type theory, language design.

1
gold badge
5
silver badges
11
bronze badges
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %