285 reputation
1 4 10

int-index

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

Top Tags (9)

Score 0
Posts 1
Posts % 25
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top Posts (4) All Questions Answers | Votes Newest

Badges (15)

Gold 1

Rarest

Silver 4

Rarest

Bronze 10

Rarest