test

diff --git a/examples/README.md b/examples/README.md
index b3ac2df2ad11188bef4ac8975330ca9ed86b68be..5b3a567a665e1c1ca7d12729a6ff2b4518147634 100644 (file)
--- 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.