From c1077e2f35ff889d491a0f30bab270db8d7cffe7 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 14 Jan 2022 15:28:54 +0100 Subject: [PATCH] Note on annotation ordering (spelling out what was already implicit in the text) --- preserves.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/preserves.md b/preserves.md index b633d6d..8cc61dc 100644 --- a/preserves.md +++ b/preserves.md @@ -4,7 +4,7 @@ title: "Preserves: an Expressive Data Language" --- Tony Garnock-Jones -May 2021. Version 0.6.0. +January 2022. Version 0.6.2. [sexp.txt]: http://people.csail.mit.edu/rivest/Sexp.txt [spki]: http://world.std.com/~cme/html/spki.html @@ -447,7 +447,8 @@ prefixing a `ByteString` containing the binary representation of the **Syntax.** When written down, a `Value` may have an associated sequence of *annotations* carrying “out-of-band” contextual metadata about the value. Each annotation is, in turn, a `Value`, and may -itself have annotations. +itself have annotations. The ordering of annotations attached to a +`Value` is significant. Value =/ ws "@" Value Value