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 5 years, 1 month
  • Last seen this week
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
2
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts