131
reputation
1

univalence

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

  • Member for 4 years, 6 months
  • 0 profile views
  • Last seen Nov 19 '16 at 11:26