Hacker News new | ask | show | jobs
by alimw 3267 days ago
Have you tried reading the articles linked to on this page? http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...