From 24f322a464fbb727e622e03032e29df924398804 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Fri, 21 Oct 2016 15:51:43 -0400 Subject: [PATCH] test --- examples/README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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. -- 2.34.1