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
Tony Garnock-Jones
da5a60f42c
Split out CSS; attempt to get section numbering (grrr!)
2018-09-24 16:45:39 +01:00
Tony Garnock-Jones
67d5d1c71f
Minor print layout tweaks, and minor content fixes
2018-09-24 16:08:48 +01:00
Tony Garnock-Jones
a7aa13818d
Tighten
2018-09-24 15:33:19 +01:00
Tony Garnock-Jones
cb2f2e6853
Literal small integers
2018-09-24 14:09:26 +01:00
Tony Garnock-Jones
13d34e035a
Trim and improve
2018-09-24 12:59:22 +01:00
Tony Garnock-Jones
acc4def15f
Tweak print stylesheet
2018-09-24 10:36:10 +01:00
Tony Garnock-Jones
0120875d15
Print makefile
2018-09-23 22:56:41 +01:00
Tony Garnock-Jones
935ac403b4
Tweaks for Chrome and for print
2018-09-23 22:56:36 +01:00
Tony Garnock-Jones
8c501a6591
Fixes
2018-09-23 22:44:43 +01:00
Tony Garnock-Jones
7dee4c9b35
Progress
2018-09-23 22:35:00 +01:00
Tony Garnock-Jones
8cecaec69b
Many improvements
2018-09-23 18:14:58 +01:00
Tony Garnock-Jones
9883d2bc5f
move codec.md together with preserve.md
2018-09-23 14:39:46 +01:00
Tony Garnock-Jones
efd6bc72ea
codec.md draft
2018-09-23 14:39:02 +01:00
Tony Garnock-Jones
2b44d82c37
preserve.md based on codec.md which I'm about to check in
2018-09-23 14:37:20 +01:00
Tony Garnock-Jones
181e6a87a0
sqlite driver
2018-08-29 15:03:12 +01:00
Tony Garnock-Jones
8e88d4643c
Rename codec --> preserve
2018-08-27 10:24:11 +01:00
Tony Garnock-Jones
a1c9af708d
Explore struct inheritance
2018-08-21 10:54:17 +01:00
Tony Garnock-Jones
710029ea9b
Better codec
2018-08-19 22:13:42 +01:00
Tony Garnock-Jones
03dad81a49
Improve multicast protocol
2018-08-19 17:54:32 +01:00
Tony Garnock-Jones
41a4593183
Improve example
2018-08-15 10:11:07 +01:00
Tony Garnock-Jones
8a34bf20d8
Initial quasi-port of Syndicate/rkt web driver
2018-08-14 17:58:36 +01:00
Tony Garnock-Jones
0b7f827cec
Multicast-UDP-based dataspace sketch, from last night
2018-08-14 12:35:56 +01:00
Tony Garnock-Jones
65e9ffac59
Clear no-longer-interesting timers
2018-08-14 12:33:50 +01:00
Tony Garnock-Jones
8bd848bca0
TODO
2018-08-13 21:45:44 +01:00
Tony Garnock-Jones
2a00d59231
term-intersect
2018-08-13 21:32:51 +01:00
Tony Garnock-Jones
11f28e13e2
UDP and UDP multicast
2018-08-13 20:07:27 +01:00
Tony Garnock-Jones
939b0620ed
filesystem driver
2018-05-11 09:58:25 +01:00
Tony Garnock-Jones
a391b0ff24
Port netstack to imperative-syndicate.
...
If you change `racket-bitsyntax` to use `typed/racket/base/no-check`
for its `bitstring.rkt` module, this runs about 15x faster than the
`syndicate` version of the stack. Otherwise, it runs about 3x faster
than the `syndicate` version of the stack.
2018-05-06 15:28:41 +01:00
Tony Garnock-Jones
dbcc931ebd
Notes on tcp2 protocol
2018-05-06 11:24:28 +01:00
Tony Garnock-Jones
07d5656e41
New test case
2018-05-06 11:06:36 +01:00
Tony Garnock-Jones
5cd8e2c2cb
Add missing assertion for outbound connections.
2018-05-06 11:03:39 +01:00
Tony Garnock-Jones
fd7cac5bae
Repair bogus test. I should have caught this earlier!
2018-05-06 10:55:21 +01:00