syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

Minor repairs to text

This commit is contained in:
Tony Garnock-Jones 2020-05-29 10:00:11 +02:00
parent c4f90ef86b
commit 0788edaaed
3 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -39,4 +39,4 @@ Tony Garnock-Jones <tonyg@leastfixedpoint.com>
The contents of this repository are made available to you under the
[Apache License, version 2.0](LICENSE)
(<http://www.apache.org/licenses/LICENSE-2.0>), and are Copyright
2018-2019 Tony Garnock-Jones.
2018-2020 Tony Garnock-Jones.

3
TUTORIAL.md
View File

@ -179,9 +179,6 @@ ordering of their elements (and Preserves doesn't care what order we
enter them in for our hand-written-as-text Preserves documents),
Preserves has a well-defined "total ordering".
**FULL WARNING:** the following claim is not implemented yet. :)
Coming soon!
Based on this total ordering, Preserves provides support for canonical
ordering when serializing; in this mode, Preserves will always write
out the elements in the same order, every time.

9
conventions.md
View File

@ -112,13 +112,6 @@ such media types following the general rules for ordering of
| `<mime application/xml #"<xhtml/>">` | 83 74 6D 69 6D 65 7F 0F 61 70 70 6C 69 63 61 74 69 6F 6E 2F 78 6D 6C 68 3C 78 68 74 6D 6C 2F 3E |
| `<mime text/csv #"123,234,345">` | 83 74 6D 69 6D 65 78 74 65 78 74 2F 63 73 76 6B 31 32 33 2C 32 33 34 2C 33 34 35 |
Applications making heavy use of `mime` records may choose to use a
placeholder number for the symbol `mime` as well as the symbols for
individual media types. For example, if placeholder number 1 were
chosen for `mime`, and placeholder number 7 for `text/plain`, the
second example above, `<mime text/plain #"ABC">`, would be encoded as
`83 11 17 63 41 42 43`.
## Unicode normalization forms.
Unicode defines multiple
@ -144,7 +137,7 @@ The definition of `SignedInteger` captures all integers. However, in
certain circumstances it can be valuable to assert that a number
inhabits a particular range, such as a fixed-width machine word.
A family of labels `i`*n* and `u`*n* for *n* ∈ {8,16,32,64} denote
A family of labels `i`*n* and `u`*n* for *n* ∈ {8,16,32,64,128} denote
*n*-bit-wide signed and unsigned range restrictions, respectively.
Records with these labels *MUST* have one field, a `SignedInteger`,
which *MUST* fall within the appropriate range. That is, to be valid,