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