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

Floats are no more

This commit is contained in:
Tony Garnock-Jones 2024-05-23 13:50:34 +02:00
parent 58110e7c0c
commit b767fa4eb0
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
preserves.md
View File

@ -215,7 +215,7 @@ sequences use [the Preserves binary encoding](preserves-binary.html).
The total ordering specified [above](#total-order) means that the following statements are true:
- `"bzz"` < `"c"` < `"caa"` < `#:"a"`
- `#t` < `3.0f` < `3.0` < `3` < `"3"` < `|3|` < `[]` < `#:#t`
- `#t` < `3.0` < `3` < `"3"` < `|3|` < `[]` < `#:#t`
- `[#f]` < `[foo]`, because `Boolean` appears before `Symbol` in the kind ordering
- `[x]` < `[x y]`, because there is no element remaining to compare against `y`
- `[a b]` < `[x]`, because `a` is smaller than `x`
@ -240,7 +240,6 @@ The total ordering specified [above](#total-order) means that the following stat
| `0` | B0 00 |
| `1` | B0 01 01 |
| `255` | B0 02 00 FF |
| `1.0f` | 87 04 3F 80 00 00 |
| `1.0` | 87 08 3F F0 00 00 00 00 00 00 |
| `-1.202e300` | 87 08 FE 3C B7 B7 59 BF 04 26 |
| `#xd"fff0000000000000"`, negative `Double` infinity | 87 08 FF F0 00 00 00 00 00 00 |