int-index
Stats
161
reputation
207
reached
1
answers
0
questions
About

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

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges

Top tags (1)

Score 6
Posts 1
Posts % 100

Top posts (1)

6 Translation of "и" Dec 31 '20