1,507
reputation
5
6

univalence

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

4
answers
0
questions
0
people reached

Top tags (2)

Score 1
Posts 4
Score 1
Posts 4

Top posts (4)

Badges (11)

Gold

Silver

5

Rarest

Bronze

6

Rarest