From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 21 Oct 2016 19:49:32 +0000 (-0400)
Subject: test
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=04a11a5962adf27f236aa403d8d5a973b7a24200;p=cubicaltt.git

test
---

diff --git a/examples/README.md b/examples/README.md
index c59825a..b3ac2df 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -4,10 +4,10 @@ Cubical Type Theory: examples
 This folder contains a lot of examples implemented using
 cubicaltt. The files contain:
 
-binnat.ctt - Binary natural numbers and isomorphism to unary
-             numbers. Example of data and program refinement by doing
-             a proof for unary numbers by computation with binary
-             numbers.
+* binnat.ctt - Binary natural numbers and isomorphism to unary
+               numbers. Example of data and program refinement by
+               doing a proof for unary numbers by computation with
+               binary numbers.
 
 bool.ctt - Booleans. Proof that bool = bool by negation and various
            other simple examples.