Unintentional Type Theory (ncatlab.org) 1 point by measurablefunc 4 hours ago 0 comments Copy Link View on Hacker News