Now I'm not sure what your point is. Are you suggesting that HoTT is to python a... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		boyobo on Oct 28, 2020 \| parent \| context \| favorite \| on: Homotopy Type Theory (2012) [pdf] Now I'm not sure what your point is. Are you suggesting that HoTT is to python as ZFC is to turing machine tape?

zrkrlc on Oct 28, 2020 [–]

Nitpick, but I think what you meant to say what "HoTT is to ZFC as Python is to Turing machine tape". Hope it helps.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact