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