univalence
  • Member for 5 years, 7 months
  • Last seen more than a week ago
Stats
1,535
reputation
151k
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
10
silver badges
15
bronze badges
12
Score
24
Posts
71
Posts %
6
Score
7
Posts
21
Posts %
6
Score
4
Posts
12
Posts %
5
Score
4
Posts
12
Posts %
3
Score
5
Posts
15
Posts %
3
Score
4
Posts
12
Posts %