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