int-index
595
reputation
1
5
11
I write Haskell for food. My areas of interest include dependently typed programming, type theory, language design.