From ae7555f6f3d86c82a99fad86bdaf22d56ff641c4 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 1 Nov 2023 11:22:38 +0100 Subject: [PATCH] Tweaks --- preserves-expressions.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/preserves-expressions.md b/preserves-expressions.md index 79ab815..a1186a4 100644 --- a/preserves-expressions.md +++ b/preserves-expressions.md @@ -104,9 +104,9 @@ We write ⌜*p*⌝ for the encoding into Preserves of P-expression *p*. {:.pseudocode.equations} | ⌜·⌝ : **P-expression** | ⟶ | **Preserves** | -Aside from the special classes `Group`, `Block`, `Comma`, `Semicolon`, -`Colons`, `Trailer`, or empty `Record`, P-expressions are encoded -directly as Preserves data. +Aside from `Group`, `Block`, `Comma`, `Semicolon`, `Colons`, `Trailer`, +and empty `Record`, P-expressions are encoded directly as Preserves +data. {:.pseudocode.equations} | ⌜`[`*p* ...`]`⌝ | = | `[`⌜*p*⌝ ...`]` | @@ -117,7 +117,7 @@ directly as Preserves data. | ⌜*p*⌝ | = | *p* when *p* ∈ **Atom** | Everything else is encoded as Preserves -dictionaries[^encoding-rationale]. +dictionaries.[^encoding-rationale] [^encoding-rationale]: In principle, it would be nice to use *records* for this purpose, but if we did so we would have to also encode