Mathematics Stack Exchange
Mathematics Stack Exchange

univalence
850
reputation
  • Member since November 27 2018
  • 99 profile views
  • Last seen Jul 09 '25 at 16:04

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