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