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