diff --git a/README.md b/README.md index 65c9a52..3a543e2 100644 --- a/README.md +++ b/README.md @@ -39,4 +39,4 @@ Tony Garnock-Jones The contents of this repository are made available to you under the [Apache License, version 2.0](LICENSE) (), and are Copyright -2018-2019 Tony Garnock-Jones. +2018-2020 Tony Garnock-Jones. diff --git a/TUTORIAL.md b/TUTORIAL.md index 4c89dd8..564373f 100644 --- a/TUTORIAL.md +++ b/TUTORIAL.md @@ -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. diff --git a/conventions.md b/conventions.md index e3f8796..f9f765d 100644 --- a/conventions.md +++ b/conventions.md @@ -112,13 +112,6 @@ such media types following the general rules for ordering of | `">` | 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 | | `` | 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, ``, 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,