univalence
I am very interested in languages like Haskell, Agda or idris, and type theory in general
3
answers
0
questions
0
people reached
-
Member for 4 years, 10 months
-
0 profile views
-
Last seen Oct 27 '19 at 14:49
Communities (16)
Top tags (2)
Score
1
Posts
3
Score
1
Posts
3
Badges (9)
Gold
—
Silver
4