Mathematics Stack Exchange
Mathematics Stack Exchange

univalence
791
reputation
  • Member since November 27 2018
  • 72 profile views
  • Last seen Apr 06 '24 at 21:26

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