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

test
---

diff --git a/examples/README.md b/examples/README.md
index b3ac2df..5b3a567 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.