int-index
  • Member for 4 years, 7 months
  • Last seen more than a week ago
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
6
Score
1
Posts
100
Posts %
6
Dec 31 '20