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 vez- on Wednesday October 12, 2022 @08:52PM (#33185832)
Check out Homotopy Type Theory / Univalent Type Theory and HoTTest summer school :)
[ Parent | on HN ]

There are no comments on this comment yet.