From 98ba3cd648db722038853866376a7c23d78f663a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Winterhalter?= Date: Tue, 28 May 2024 15:32:52 +0200 Subject: [PATCH] Update comment --- theories/Examples.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/theories/Examples.v b/theories/Examples.v index 963a677..fb6b0da 100644 --- a/theories/Examples.v +++ b/theories/Examples.v @@ -1,7 +1,7 @@ (*** Examples from the paper - We show how we can discriminate booleans and thus natural numbers. - This in turn let us write head and tail functions. + We show how we can discriminate booleans and thus natural numbers and thus + erased natural numbers. ***)