Closes #14

2020-12-28 09:43:24 +01:00 · 2020-12-28 09:43:24 +01:00 · 2391722a25
parent 3c6bff6646
commit 2391722a25
1 changed files with 1 additions and 1 deletions
--- a/preserves.md
+++ b/preserves.md
@ -39,7 +39,7 @@ definition of the *values* that we want to work with and give them
 meaning independent of their syntax.

 Our `Value`s fall into two broad categories: *atomic* and *compound*
-data.
+data. Every `Value` is finite and non-cyclic.

                          Value = Atom
                                | Compound