From 2391722a2541a3e422301f6952fd18372c8db2f7 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 28 Dec 2020 09:43:24 +0100 Subject: [PATCH] Closes #14 --- preserves.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/preserves.md b/preserves.md index 24ea42a..ceb6651 100644 --- 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