HackerNews News Best Shows Asks

Homotopy Type Theory and Higher Inductive Types Read the story:
http://www.science4all.org/article/homotopy-type-theory/