Remove pointless footnote remark

This commit is contained in:
Tony Garnock-Jones 2019-10-23 22:58:47 +01:00
parent b1ca95c835
commit ab06cd465d
1 changed files with 1 additions and 5 deletions

View File

@ -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.**<a name="equivalence"></a> Two `Value`s are equal if
neither is less than the other according to the total order.