Hacker News new | ask | show | jobs
by mjw1007 1759 days ago
For the avoidance of doubt: Andrej Bauer is himself very much one of those crazy HoTT people.