280 reputation
1 1

int-index

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