From 04a11a5962adf27f236aa403d8d5a973b7a24200 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Fri, 21 Oct 2016 15:49:32 -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 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. -- 2.34.1