Skip to main content
Share Your Experience: Take the 2024 Developer Survey
univalence's user avatar
univalence's user avatar
univalence's user avatar
univalence
  • Member for 8 years
  • Last seen more than a week ago
Stats
1,649
reputation
169k
reached
25
answers
9
questions
Loading…
About

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

1
gold badge
14
silver badges
16
bronze badges
13
Score
24
Posts
71
Posts %
9
Score
4
Posts
12
Posts %
7
Score
4
Posts
12
Posts %
6
Score
7
Posts
21
Posts %
3
Score
5
Posts
15
Posts %
3
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
question
86
Nov 20, 2016
answer
8
May 4, 2016
answer
6
May 5, 2016
answer
5
Mar 24, 2019
question
4
Apr 25, 2021
question
3
Apr 23, 2017
question
2
Jul 17, 2016
answer
2
Jul 11, 2016
answer
2
Nov 19, 2016