From: Anders <mortberg@chalmers.se>
Date: Fri, 27 Mar 2015 16:55:14 +0000 (+0100)
Subject: fix readme
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=596753f4289afd5711b7ab7ae53a32f64b697729;p=cubicaltt.git

fix readme
---

diff --git a/README.md b/README.md
index 910c07f..4e19ea3 100644
--- a/README.md
+++ b/README.md
@@ -14,9 +14,9 @@ Because of this it is not necessary to have a special file of
 primitives (like in cubical), for instance function extensionality is
 provable in the system by:
 
-`funExt (A : U) (B : A -> U) (f g : (x : A) -> B x)
-       (p : (x : A) -> Id (B x) (f x) (g x)) :
-       Id ((y : A) -> B y) f g = <i> \(a : A) -> (p a) @ i`
+`funExt (A : U) (B : A -> U) (f g : (x : A) -> B x)`
+`       (p : (x : A) -> Id (B x) (f x) (g x)) :`
+`       Id ((y : A) -> B y) f g = <i> \(a : A) -> (p a) @ i`
 
 
 Install