News for hackers. Stuff that matters.

A comment on Homotopy Type Theory. Parent comment

Re:Homotopy Type Theory by fezzez on Wednesday June 23, 2021 @09:08PM (#27612679)
I was lucky to see have had this instructor for a couple of lessons. Bob is a total legend.
[ Parent | on HN ]

There are no comments on this comment yet.