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
2dc829229d
assertions.js and WIP skeleton.js
2018-09-10 10:47:10 +01:00
Tony Garnock-Jones
a383b6703a
Transferred from syndicate/js
2018-09-09 18:13:57 +01:00
Tony Garnock-Jones
a24475c707
Step zero of work toward imperative-syndicate/js
2018-09-09 18:12:50 +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
0d9afec6df
Merge branch 'master' into imperative
2018-08-14 17:38:45 +01:00
Tony Garnock-Jones
47094c11c4
Responsibility transfer during outbound websocket connection establishment
2018-08-14 17:38: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
8cce22face
Merge branch 'master' into imperative
2018-07-30 19:39:41 +01:00
Tony Garnock-Jones
eb70563edb
Respond to ISON commands.
2018-07-30 19:39:19 +01:00
Tony Garnock-Jones
c564bd28ec
Weirdly, irssi sends the "ison" command in lower-case.
2018-07-30 19:39:11 +01:00
Tony Garnock-Jones
75b3488c83
Merge branch 'master' into imperative
2018-06-01 09:13:04 +01:00
Tony Garnock-Jones
cb351eee09
Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs
2018-06-01 09:12:39 +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
017d5851be
More robust against experimentation where the range of `i` is increased
2018-05-06 13:38:52 +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
Tony Garnock-Jones
3c7676906d
Improve the kinds of tests we can do for expected output slightly.
2018-05-06 10:55:02 +01:00
Tony Garnock-Jones
85535608fd
pattern-expander.rkt
2018-05-04 23:15:09 +01:00
Tony Garnock-Jones
12d4e95ac4
GUI example
2018-05-04 16:57:22 +01:00
Tony Garnock-Jones
ff4c4a59bd
Cosmetic - extra logging (when uncommented)
2018-05-04 16:56:56 +01:00
Tony Garnock-Jones
c77416b727
Repair long-standing error in skeleton-walking.
2018-05-04 16:56:45 +01:00
Tony Garnock-Jones
cc54496ac6
Extremely limited support for quasiquoting and quoting in patterns
2018-05-04 16:56:23 +01:00
Tony Garnock-Jones
59e1a09d61
Clock face example
2018-05-04 16:09:12 +01:00
Tony Garnock-Jones
00c6311bfc
Quasi-useful debug output
2018-05-04 16:04:42 +01:00
Tony Garnock-Jones
d9ca939d60
Restriction-paths: right idea (?), wrong implementation. This time maybe.
...
Instead of having restriction-paths as an adjunct to a change, they're
more propertly a part of each assertion itself. The new `skeleton.rkt`
keeps an optional restriction-path with each assertion, treating it as
distinct from its underlying assertion. The idea of not signalling
changes in assertions that have a restriction-path mismatch stays.
2018-05-04 15:55:53 +01:00