Tony Garnock-Jones
|
9275794463
|
Notes on embedded binary values
|
2018-09-29 00:04:56 +01:00 |
Tony Garnock-Jones
|
02d67f7816
|
Notes on NaNs
|
2018-09-28 11:48:58 +01:00 |
Tony Garnock-Jones
|
5cdde0c06d
|
Grammar
|
2018-09-28 11:12:58 +01:00 |
Tony Garnock-Jones
|
3304a00d2e
|
Typo
|
2018-09-28 11:12:53 +01:00 |
Tony Garnock-Jones
|
2d48f6086d
|
Clarification
|
2018-09-28 11:12:35 +01:00 |
Tony Garnock-Jones
|
7184c1bfc6
|
Disallow whitespace between a label and its open-parenthesis
|
2018-09-28 11:00:40 +01:00 |
Tony Garnock-Jones
|
3c89a2b5c8
|
More TODOs in the text; initial textual reader in Racket
|
2018-09-27 19:25:28 +01:00 |
Tony Garnock-Jones
|
c176c4155f
|
Handle a couple of TODOs
|
2018-09-27 13:34:32 +01:00 |
Tony Garnock-Jones
|
732fbc7059
|
WIP from the early hours of this morning, adding textual syntax
|
2018-09-27 11:42:55 +01:00 |
Tony Garnock-Jones
|
d75b5c6caf
|
Small fix and new question
|
2018-09-25 15:53:42 +01:00 |
Tony Garnock-Jones
|
127cbfa7bd
|
Python SignedInteger rep needs long as well as int
|
2018-09-25 10:20:35 +01:00 |
Tony Garnock-Jones
|
a47ee7ed5e
|
Link to Racket docs for prefab struct labels
|
2018-09-25 10:08:22 +01:00 |
Tony Garnock-Jones
|
099d882455
|
Streamed binaries always use ByteString chunks
|
2018-09-24 23:15:36 +01:00 |
Tony Garnock-Jones
|
426470bb7c
|
Squeak Smalltalk mapping
|
2018-09-24 19:54:59 +01:00 |
Tony Garnock-Jones
|
aeec465567
|
Improve (?) Erlang mapping
|
2018-09-24 19:54:52 +01:00 |
Tony Garnock-Jones
|
7096f5f1a4
|
Remove page-break override
|
2018-09-24 19:54:43 +01:00 |
Tony Garnock-Jones
|
378b8351ac
|
RFC7159 -> RFC8259
|
2018-09-24 19:12:43 +01:00 |
Tony Garnock-Jones
|
1d48216700
|
Tweaks; python mapping
|
2018-09-24 18:34:07 +01:00 |
Tony Garnock-Jones
|
1988607d7f
|
Split out CSS; attempt to get section numbering (grrr!)
|
2018-09-24 16:45:39 +01:00 |
Tony Garnock-Jones
|
f38aac1e19
|
Minor print layout tweaks, and minor content fixes
|
2018-09-24 16:08:48 +01:00 |
Tony Garnock-Jones
|
80fb72f782
|
Tighten
|
2018-09-24 15:33:19 +01:00 |
Tony Garnock-Jones
|
f84f495c93
|
Literal small integers
|
2018-09-24 14:09:26 +01:00 |
Tony Garnock-Jones
|
86f5fd5a11
|
Trim and improve
|
2018-09-24 12:59:22 +01:00 |
Tony Garnock-Jones
|
907bdb2cde
|
Tweak print stylesheet
|
2018-09-24 10:36:10 +01:00 |
Tony Garnock-Jones
|
25560810ea
|
Tweaks for Chrome and for print
|
2018-09-23 22:56:36 +01:00 |
Tony Garnock-Jones
|
8353dc07ac
|
Fixes
|
2018-09-23 22:44:43 +01:00 |
Tony Garnock-Jones
|
7b1be3aab6
|
Progress
|
2018-09-23 22:35:00 +01:00 |
Tony Garnock-Jones
|
1cb37ecee3
|
Many improvements
|
2018-09-23 18:14:58 +01:00 |
Tony Garnock-Jones
|
9255ce1a72
|
preserve.md based on codec.md which I'm about to check in
|
2018-09-23 14:37:20 +01:00 |