Homotopy Type Theory and Higher Inductive Types

Comments

from Hacker News http://ift.tt/2CNSjIM
via

Comments

Popular posts from this blog