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 3 years ago
Stats
1,649
reputation
0
reached
4
answers
0
questions
Loading…
About

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

This user doesn’t have any gold badges yet.
8
silver badges
6
bronze badges
Top tags
1
Score
4
Posts
100
Posts %
1
Score
4
Posts
100
Posts %
Top posts
answer
1
Dec 10, 2017
answer
0
Mar 25, 2019
answer
0
Apr 23, 2021
answer
0
Dec 11, 2016