Homotopy Type Theory for Dummies (chriswarbo.net) 2 points by fanf2 10 hours ago 0 comments Copy Link View on Hacker News