Tony Garnock-Jones
|
40fa2ca620
|
Improve (?) test ergonomics.
|
2018-11-02 12:15:21 +00:00 |
Tony Garnock-Jones
|
5c5316f37e
|
Detect and repair error in error-handling and -recovery.
|
2018-11-02 12:15:04 +00:00 |
Tony Garnock-Jones
|
57d7ec505d
|
Ensure patched assertions are added before being removed, to avoid glitching
|
2018-11-02 00:38:40 +00:00 |
Tony Garnock-Jones
|
143abcf4c1
|
Separate out narration
|
2018-10-24 16:14:54 +01:00 |
Tony Garnock-Jones
|
dd8a7861d4
|
The problem specifies 10 elves
|
2018-10-24 14:29:10 +01:00 |
Tony Garnock-Jones
|
3fec2d2f57
|
Supply #f as cleanup function in multicast udp-dataspace, instead of void; notes on cleanup functions and visibility-restrictions
|
2018-10-24 13:21:20 +01:00 |
Tony Garnock-Jones
|
ce706583e5
|
Santa Claus Problem, in Syndicate/rkt
|
2018-10-24 11:40:16 +01:00 |
Tony Garnock-Jones
|
fe40d6b804
|
Present-to-absent check is necessary in assertion removal handler
|
2018-10-21 13:32:06 +01:00 |
Tony Garnock-Jones
|
e9d510d658
|
Tweaks
|
2018-10-21 01:04:05 +01:00 |
Tony Garnock-Jones
|
d08a7536f1
|
Minor corrections and tweaks
|
2018-10-21 00:59:38 +01:00 |
Tony Garnock-Jones
|
a2ade911f6
|
First JavaScript steps, based on HOWITWORKS.md
|
2018-10-21 00:58:40 +01:00 |
Tony Garnock-Jones
|
f3152fe1c1
|
Update to explain the "dummy" outermost wrapper constructor
|
2018-10-20 21:54:58 +01:00 |
Tony Garnock-Jones
|
a40fb01839
|
Nope, unsafe-struct-ref is still not measurably faster than the safe variants
|
2018-10-20 21:47:47 +01:00 |
Tony Garnock-Jones
|
f1a787b17f
|
Avoid a few gratuitous conversions during `skeleton-modify!`.
|
2018-10-20 21:42:38 +01:00 |
Tony Garnock-Jones
|
d490b26dc2
|
Minor tweak
|
2018-10-20 19:52:37 +01:00 |
Tony Garnock-Jones
|
b6063b4d95
|
Remove superfluous update-path helper
|
2018-10-20 19:13:07 +01:00 |
Tony Garnock-Jones
|
52cf4c3ae5
|
Fix bug exposed by previous commit
|
2018-10-20 19:09:25 +01:00 |
Tony Garnock-Jones
|
4f6ab9bd77
|
Eliminate one set of dummy wrappers
|
2018-10-20 18:27:15 +01:00 |
Tony Garnock-Jones
|
c2fdd8a37e
|
Describe how the efficient index structure works
|
2018-10-14 21:25:13 +01:00 |
Tony Garnock-Jones
|
4141529854
|
Split out preserves into its own repository
|
2018-09-29 17:22:34 +01:00 |
Tony Garnock-Jones
|
1114b5b6b9
|
SOH-prefixed embedded format considered harmful
|
2018-09-29 00:07:49 +01:00 |
Tony Garnock-Jones
|
cc0a7c5a2d
|
Notes on embedded binary values
|
2018-09-29 00:04:56 +01:00 |
Tony Garnock-Jones
|
153466bd10
|
Notes on NaNs
|
2018-09-28 11:48:58 +01:00 |
Tony Garnock-Jones
|
3ae9d28d37
|
Grammar
|
2018-09-28 11:12:58 +01:00 |
Tony Garnock-Jones
|
34553f4752
|
Typo
|
2018-09-28 11:12:53 +01:00 |
Tony Garnock-Jones
|
3669b99525
|
Clarification
|
2018-09-28 11:12:35 +01:00 |
Tony Garnock-Jones
|
3b869709fb
|
More tests and fixes
|
2018-09-28 11:00:50 +01:00 |
Tony Garnock-Jones
|
ec8c91270f
|
Disallow whitespace between a label and its open-parenthesis
|
2018-09-28 11:00:40 +01:00 |
Tony Garnock-Jones
|
5e6b479279
|
More tests, coverage and fixes
|
2018-09-27 23:14:43 +01:00 |
Tony Garnock-Jones
|
bbe9950148
|
More tests and fixes
|
2018-09-27 22:13:46 +01:00 |
Tony Garnock-Jones
|
bf2d20f40d
|
Bug fixes to text reader, and more tests
|
2018-09-27 21:35:03 +01:00 |
Tony Garnock-Jones
|
19e9623358
|
More TODOs in the text; initial textual reader in Racket
|
2018-09-27 19:25:28 +01:00 |
Tony Garnock-Jones
|
49f64a1058
|
Handle a couple of TODOs
|
2018-09-27 13:34:32 +01:00 |
Tony Garnock-Jones
|
120c4ee1c4
|
WIP from the early hours of this morning, adding textual syntax
|
2018-09-27 11:42:55 +01:00 |
Tony Garnock-Jones
|
54073eb164
|
Python preserves
|
2018-09-25 15:53:56 +01:00 |
Tony Garnock-Jones
|
5683332cc8
|
Small fix and new question
|
2018-09-25 15:53:42 +01:00 |
Tony Garnock-Jones
|
6e98757e85
|
Remove version; improve tests
|
2018-09-25 15:53:35 +01:00 |
Tony Garnock-Jones
|
39449a1f50
|
Bring preserve.rkt up to spec
|
2018-09-25 11:49:32 +01:00 |
Tony Garnock-Jones
|
c479faf9a9
|
Python SignedInteger rep needs long as well as int
|
2018-09-25 10:20:35 +01:00 |
Tony Garnock-Jones
|
1fcfebf8d9
|
Link to Racket docs for prefab struct labels
|
2018-09-25 10:08:22 +01:00 |
Tony Garnock-Jones
|
3dcc9edea4
|
Streamed binaries always use ByteString chunks
|
2018-09-24 23:15:36 +01:00 |
Tony Garnock-Jones
|
55927716bc
|
Squeak Smalltalk mapping
|
2018-09-24 19:54:59 +01:00 |
Tony Garnock-Jones
|
15ddbdc479
|
Improve (?) Erlang mapping
|
2018-09-24 19:54:52 +01:00 |
Tony Garnock-Jones
|
c1b7ab9fd5
|
Remove page-break override
|
2018-09-24 19:54:43 +01:00 |
Tony Garnock-Jones
|
d5c44ba0d3
|
Improve formatting now that section numbers exist
|
2018-09-24 19:54:23 +01:00 |
Tony Garnock-Jones
|
f16a911892
|
RFC7159 -> RFC8259
|
2018-09-24 19:12:43 +01:00 |
Tony Garnock-Jones
|
711afb4922
|
Specially number appendices
|
2018-09-24 19:12:29 +01:00 |
Tony Garnock-Jones
|
f6bec07f5e
|
Tweaks; python mapping
|
2018-09-24 18:34:07 +01:00 |
Tony Garnock-Jones
|
3dd2366a55
|
Single-colon pseudoselectors
|
2018-09-24 18:11:34 +01:00 |
Tony Garnock-Jones
|
585cbcdb9e
|
Fix the jolly section numbering
|
2018-09-24 18:11:19 +01:00 |