From a170fec03bc141adf57f0259549c44475ed434ef Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Mon, 13 Apr 2015 19:41:25 +0200 Subject: [PATCH] Update README --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 5e49a55..003d17a 100644 --- a/README.md +++ b/README.md @@ -55,6 +55,12 @@ directory will be taken as the search path for the imports. References and notes -------------------- + * Voevodsky's page on [univalent + foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html) + + * HoTT book and webpage: + [http://homotopytypetheory.org/](http://homotopytypetheory.org/) + * [Cubical Type Theory](http://www.cse.chalmers.se/~coquand/rules5.pdf) - The typing rules of the system @@ -62,12 +68,6 @@ References and notes * [Lecture Notes on Cubical sets](http://www.cse.chalmers.se/~coquand/course3.pdf) - * Voevodsky's page on [univalent - foundations](http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html) - - * HoTT book and webpage: - [http://homotopytypetheory.org/](http://homotopytypetheory.org/) - * [A Cubical Approach to Synthetic Homotopy Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf), Dan Licata, Guillaume Brunerie. -- 2.34.1