Hacker News new | ask | show | jobs
by doall 3997 days ago
See this https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mm...