Tony Garnock-Jones
6e98ba0097
Link to Racket docs for prefab struct labels
2018-09-25 10:08:22 +01:00
Tony Garnock-Jones
0444a2a096
Streamed binaries always use ByteString chunks
2018-09-24 23:15:36 +01:00
Tony Garnock-Jones
a9445b2ca7
Squeak Smalltalk mapping
2018-09-24 19:54:59 +01:00
Tony Garnock-Jones
e25b7dacbc
Improve (?) Erlang mapping
2018-09-24 19:54:52 +01:00
Tony Garnock-Jones
4237200210
Remove page-break override
2018-09-24 19:54:43 +01:00
Tony Garnock-Jones
354776199f
Improve formatting now that section numbers exist
2018-09-24 19:54:23 +01:00
Tony Garnock-Jones
3c7215397d
RFC7159 -> RFC8259
2018-09-24 19:12:43 +01:00
Tony Garnock-Jones
35726436c9
Specially number appendices
2018-09-24 19:12:29 +01:00
Tony Garnock-Jones
e438085e74
Tweaks; python mapping
2018-09-24 18:34:07 +01:00
Tony Garnock-Jones
3b12a290a3
Single-colon pseudoselectors
2018-09-24 18:11:34 +01:00
Tony Garnock-Jones
1275aaded1
Fix the jolly section numbering
2018-09-24 18:11:19 +01:00
Tony Garnock-Jones
96c46c19b4
Split out CSS; attempt to get section numbering (grrr!)
2018-09-24 16:45:39 +01:00
Tony Garnock-Jones
4716b4f4e9
Minor print layout tweaks, and minor content fixes
2018-09-24 16:08:48 +01:00
Tony Garnock-Jones
b656df8632
Tighten
2018-09-24 15:33:19 +01:00
Tony Garnock-Jones
a22ded2f16
Literal small integers
2018-09-24 14:09:26 +01:00
Tony Garnock-Jones
b4d4092b90
Trim and improve
2018-09-24 12:59:22 +01:00
Tony Garnock-Jones
b2eb53e664
Tweak print stylesheet
2018-09-24 10:36:10 +01:00
Tony Garnock-Jones
7f71620136
Print makefile
2018-09-23 22:56:41 +01:00
Tony Garnock-Jones
f2c2e4d39e
Tweaks for Chrome and for print
2018-09-23 22:56:36 +01:00
Tony Garnock-Jones
ff5cb65f5f
Fixes
2018-09-23 22:44:43 +01:00
Tony Garnock-Jones
00a69ae012
Progress
2018-09-23 22:35:00 +01:00
Tony Garnock-Jones
f2f57385ce
Many improvements
2018-09-23 18:14:58 +01:00
Tony Garnock-Jones
2996970cbe
move codec.md together with preserve.md
2018-09-23 14:39:46 +01:00
Tony Garnock-Jones
738fad360a
codec.md draft
2018-09-23 14:39:02 +01:00
Tony Garnock-Jones
c23285781c
preserve.md based on codec.md which I'm about to check in
2018-09-23 14:37:20 +01:00
Tony Garnock-Jones
f6ab8320c5
sqlite driver
2018-08-29 15:03:12 +01:00
Tony Garnock-Jones
939396b9b7
Rename codec --> preserve
2018-08-27 10:24:11 +01:00
Tony Garnock-Jones
542d0a886a
Explore struct inheritance
2018-08-21 10:54:17 +01:00
Tony Garnock-Jones
7dacb5ba6e
Better codec
2018-08-19 22:13:42 +01:00
Tony Garnock-Jones
77b0addcd0
Improve multicast protocol
2018-08-19 17:54:32 +01:00
Tony Garnock-Jones
c125564f5f
Improve example
2018-08-15 10:11:07 +01:00
Tony Garnock-Jones
061765041b
Initial quasi-port of Syndicate/rkt web driver
2018-08-14 17:58:36 +01:00
Tony Garnock-Jones
76674c77b3
Multicast-UDP-based dataspace sketch, from last night
2018-08-14 12:35:56 +01:00
Tony Garnock-Jones
e9457af8c2
Clear no-longer-interesting timers
2018-08-14 12:33:50 +01:00
Tony Garnock-Jones
979d057f3f
TODO
2018-08-13 21:45:44 +01:00
Tony Garnock-Jones
f5efa77d91
term-intersect
2018-08-13 21:32:51 +01:00
Tony Garnock-Jones
86412b273d
UDP and UDP multicast
2018-08-13 20:07:27 +01:00
Tony Garnock-Jones
ea16d24be8
filesystem driver
2018-05-11 09:58:25 +01:00
Tony Garnock-Jones
43f1eab1f3
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
35726f3831
Notes on tcp2 protocol
2018-05-06 11:24:28 +01:00
Tony Garnock-Jones
96d24fbb4b
New test case
2018-05-06 11:06:36 +01:00
Tony Garnock-Jones
9fc621c829
Add missing assertion for outbound connections.
2018-05-06 11:03:39 +01:00
Tony Garnock-Jones
61cd0613ca
Repair bogus test. I should have caught this earlier!
2018-05-06 10:55:21 +01:00
Tony Garnock-Jones
be1bc6c220
Improve the kinds of tests we can do for expected output slightly.
2018-05-06 10:55:02 +01:00
Tony Garnock-Jones
daba892a07
pattern-expander.rkt
2018-05-04 23:15:09 +01:00
Tony Garnock-Jones
d053edc101
GUI example
2018-05-04 16:57:22 +01:00
Tony Garnock-Jones
46ddb47050
Cosmetic - extra logging (when uncommented)
2018-05-04 16:56:56 +01:00
Tony Garnock-Jones
d3f27488ed
Repair long-standing error in skeleton-walking.
2018-05-04 16:56:45 +01:00
Tony Garnock-Jones
000fa3c008
Extremely limited support for quasiquoting and quoting in patterns
2018-05-04 16:56:23 +01:00
Tony Garnock-Jones
1868b10617
Clock face example
2018-05-04 16:09:12 +01:00