int-index's user avatar
int-index's user avatar
int-index's user avatar
int-index
  • Member for 11 years, 11 months
  • Last seen more than 8 years ago
Stats
595
reputation
0
reached
0
answers
0
questions
Loading…
About

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

This user doesn’t have any gold badges yet.
2
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.