News for hackers. Stuff that matters.

A comment on Abusing the algebra of algebraic data types – why does this work?. Parent comment

Re:Abusing the algebra of algebraic data types – why does th... by jshaqaw on Monday October 10, 2022 @11:43AM (#33152833)
It’s not exactly easy reading but take a look at Homotopy Type Theory w Univalent Foundations which is free online.
[ Parent | on HN ]

There are no comments on this comment yet.