Stats
1,653
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
Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
-
Yearling
× 7May 1
6
bronze badges
-
CommentatorApr 23, 2021
-
CriticSep 11, 2016
-
TeacherDec 12, 2017
Top tags
1
Score
4
Posts
100
Posts %
1
Score
4
Posts
100
Posts %