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