univalence's user avatar
univalence's user avatar
univalence's user avatar
univalence
  • Member for 7 years, 10 months
  • Last seen more than a week ago
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.
3
bronze badges
Top tags
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
Top posts
answer
1
Jun 19, 2016