Update comment

TheoWinterhalter · May 28, 2024 · 98ba3cd · 98ba3cd
1 parent 1ddd961
commit 98ba3cd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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.
 
 ***)