News for hackers. Stuff that matters.

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

Re:Homotopy Type Theory (2012) [pdf] by boyobo on Tuesday October 27, 2020 @09:47PM (#24914140)
Now I'm not sure what your point is. Are you suggesting that HoTT is to python as ZFC is to turing machine tape?
[ Parent | on HN ]
Re:Homotopy Type Theory (2012) [pdf] by zrkrlc on Wednesday October 28, 2020 @05:08AM (#24916745)
Nitpick, but I think what you meant to say what "HoTT is to ZFC as Python is to Turing machine tape". Hope it helps.
[ Parent | on HN ]