From 4c53dadc41c8b34006c0b2745db1346927d046c0 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 19 Jun 2022 14:36:12 +0200 Subject: [PATCH] Tweaks --- preserves-text.md | 6 +++--- preserves.md | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/preserves-text.md b/preserves-text.md index a33ace4..de6e4e9 100644 --- a/preserves-text.md +++ b/preserves-text.md @@ -15,7 +15,7 @@ from the [Preserves data model](preserves.html) that is easy for people to read and write. An [equivalent machine-oriented binary syntax](preserves-binary.html) also exists. -## Preliminaries +## Text Syntax The definition uses [case-sensitive ABNF][abnf]. @@ -32,7 +32,7 @@ carriage returns, line feeds, or commas. ws = *(%x20 / %x09 / newline / ",") newline = CR / LF -## Grammar +### Grammar. Standalone documents may have trailing whitespace. @@ -233,7 +233,7 @@ prefixing a `ByteString` containing the binary representation of the the `#` are prepended to any binary-syntax annotations yielded by decoding the `ByteString`. -## Annotations +### Annotations. When written down, a `Value` may have an associated sequence of *annotations* carrying “out-of-band” contextual metadata diff --git a/preserves.md b/preserves.md index 42d32dd..b182bd5 100644 --- a/preserves.md +++ b/preserves.md @@ -190,7 +190,7 @@ domain-specific rules. `Embedded` rewriting without the quotation-related complications of encoding references as, say, `Record`s. -*Examples.* In a Java or Python implementation, an `Embedded` may +*Motivating Examples.* In a Java or Python implementation, an `Embedded` may denote a reference to a Java or Python object; comparison would be done via the language's own rules for equivalence and ordering. In a Unix application, an `Embedded` may denote an open file descriptor or