univalence
Stats
1,537
reputation
0
reached
4
answers
0
questions
Loading…
About

I am very interested in languages like Haskell, Agda or idris, and type theory in general

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

Top tags (2)

Score 1
Posts 4
Score 1
Posts 4

Top posts (4)