user avatar
user avatar
user avatar
univalence
  • Member for 6 years, 3 months
  • Last seen more than a week ago
Stats
1,603
reputation
156k
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
4
Apr 25, 2021
question
3
Apr 23, 2017
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