Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
univalence
  • Member for 6 years
  • Last seen more than a month ago
Stats
1,593
reputation
155k
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
11
silver badges
16
bronze badges
13
Score
24
Posts
71
Posts %
7
Score
4
Posts
12
Posts %
6
Score
7
Posts
21
Posts %
5
Score
4
Posts
12
Posts %
3
Score
5
Posts
15
Posts %
3
Score
4
Posts
12
Posts %
Top posts
View all questions and answers
question
84
Nov 20, 2016
answer
8
May 4, 2016
answer
6
May 5, 2016
question
3
Apr 23, 2017
question
3
Apr 25, 2021
answer
3
Mar 24, 2019
answer
2
Nov 19, 2016
answer
2
Aug 4, 2019
answer
2
Aug 5, 2019
question
2
Jul 17, 2016