News for hackers. Stuff that matters.

A comment on Homotopy Type Theory (2012) [pdf]. Parent comment

Re:Homotopy Type Theory (2012) [pdf] by harveywi on Tuesday October 27, 2020 @04:45PM (#24911674)
So you're saying that cubical type theory will be a good fit for cubical programming?
[ Parent | on HN ]

There are no comments on this comment yet.