Skip to main content
univalence's user avatar
univalence's user avatar
univalence's user avatar
univalence
  • Member for 5 years, 6 months
  • Last seen this week
Stats
878
reputation
4k
reached
10
answers
13
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.
4
silver badges
17
bronze badges
8
Score
2
Posts
9
Posts %
5
Score
7
Posts
30
Posts %
5
Score
1
Posts
4
Posts %
1
Score
3
Posts
13
Posts %
1
Score
2
Posts
9
Posts %
0
Score
3
Posts
13
Posts %
Top posts
View all questions and answers