| HN Mirror

Y	Hacker News new \| ask \| show \| jobs


	by Kutta 3991 days ago
	Could you give pointers wrt cubical model being a dead end? As yet I've heard nothing about this.

1 comments

doall 3989 days ago

See this https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mm...