From ab06cd465dc7ac2646f7322229d707181996d5c1 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 23 Oct 2019 22:58:47 +0100 Subject: [PATCH] Remove pointless footnote remark --- preserves.md | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/preserves.md b/preserves.md index 0f25ef9..0757c2e 100644 --- a/preserves.md +++ b/preserves.md @@ -61,7 +61,7 @@ incrementally specify a total order over `Value`s. Two values of the same kind are compared using kind-specific rules. The ordering among values of different kinds is essentially arbitrary, but having a total order is convenient for many tasks, so we define it as -follows:[^ordering-by-syntax] +follows: (Values) Atom < Compound @@ -70,10 +70,6 @@ follows:[^ordering-by-syntax] (Atoms) Boolean < Float < Double < SignedInteger < String < ByteString < Symbol - [^ordering-by-syntax]: The observant reader may note that the - ordering here is the same as that implied by the tagging scheme - used in the concrete binary syntax for `Value`s. - **Equivalence.** Two `Value`s are equal if neither is less than the other according to the total order.