Tweaks
This commit is contained in:
parent
63c124307b
commit
ae7555f6f3
|
@ -104,9 +104,9 @@ We write ⌜*p*⌝ for the encoding into Preserves of P-expression *p*.
|
||||||
{:.pseudocode.equations}
|
{:.pseudocode.equations}
|
||||||
| ⌜·⌝ : **P-expression** | ⟶ | **Preserves** |
|
| ⌜·⌝ : **P-expression** | ⟶ | **Preserves** |
|
||||||
|
|
||||||
Aside from the special classes `Group`, `Block`, `Comma`, `Semicolon`,
|
Aside from `Group`, `Block`, `Comma`, `Semicolon`, `Colons`, `Trailer`,
|
||||||
`Colons`, `Trailer`, or empty `Record`, P-expressions are encoded
|
and empty `Record`, P-expressions are encoded directly as Preserves
|
||||||
directly as Preserves data.
|
data.
|
||||||
|
|
||||||
{:.pseudocode.equations}
|
{:.pseudocode.equations}
|
||||||
| ⌜`[`*p* ...`]`⌝ | = | `[`⌜*p*⌝ ...`]` |
|
| ⌜`[`*p* ...`]`⌝ | = | `[`⌜*p*⌝ ...`]` |
|
||||||
|
@ -117,7 +117,7 @@ directly as Preserves data.
|
||||||
| ⌜*p*⌝ | = | *p* when *p* ∈ **Atom** |
|
| ⌜*p*⌝ | = | *p* when *p* ∈ **Atom** |
|
||||||
|
|
||||||
Everything else is encoded as Preserves
|
Everything else is encoded as Preserves
|
||||||
dictionaries[^encoding-rationale].
|
dictionaries.[^encoding-rationale]
|
||||||
|
|
||||||
[^encoding-rationale]: In principle, it would be nice to use *records*
|
[^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
|
for this purpose, but if we did so we would have to also encode
|
||||||
|
|
Loading…
Reference in New Issue