Skip to main content
univalence's user avatar
univalence's user avatar
univalence's user avatar
univalence
  • Member for 8 years
  • Last seen more than a month 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.
8
bronze badges
Top tags
2
Score
2
Posts
100
Posts %
Top posts
answer
2
Feb 16, 2017
question
0
Nov 19, 2016