aboutsummaryrefslogtreecommitdiff
path: root/ROOT
diff options
context:
space:
mode:
Diffstat (limited to 'ROOT')
-rw-r--r--ROOT3
1 files changed, 2 insertions, 1 deletions
diff --git a/ROOT b/ROOT
index cecdd32..b05d022 100644
--- a/ROOT
+++ b/ROOT
@@ -6,7 +6,8 @@ session HoTT = Pure +
hierarchy à la Russell.
Follows the development of the theory in
- The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics,
+ The Univalent Foundations Program,
+ Homotopy Type Theory: Univalent Foundations of Mathematics,
Institute for Advanced Study, (2013).
Available online at https://homotopytypetheory.org/book.