From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Sat, 20 May 2017 09:56:41 +0000 (+0200)
Subject: minor
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a751c8a29e28e123be996c39e9243de685f47eff;p=cubicaltt.git

minor
---

diff --git a/lectures/lecture2.ctt b/lectures/lecture2.ctt
index 607397e..cb0926c 100644
--- a/lectures/lecture2.ctt
+++ b/lectures/lecture2.ctt
@@ -116,7 +116,7 @@ interior of the square:
                    <i> a
 
 Here i corresponds to the left-to-right dimension and j corresponds to
-the down-to-up dimension. To compute the left and right endpoints just
+the down-to-up dimension. To compute the left and right sides just
 plug in i=0 and i=1 in the term inside the square:
 
 <j> p @ 0 /\ j = <j> p @ 0 = <j> a   (recall that p is a path from a to b)