int_index
598
reputation
2
15
I write Haskell for food. My areas of interest include dependently typed programming, type theory, language design.