From 7a7e27f4a1efd69e9ab43b95d3c7ead61a743e55 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 4 Feb 2019 11:53:47 +0100
Subject: 1. Change syntax to rely less on unicode/control symbols. 2. Begin
 work on object-level type inference and input syntax help.

---
 ROOT | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ROOT')

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.
     
-- 
cgit v1.2.3