Commit Graph

  • 6e98757e85 Remove version; improve tests Tony Garnock-Jones 2018-09-25 15:53:35 +0100
  • 39449a1f50 Bring preserve.rkt up to spec Tony Garnock-Jones 2018-09-25 11:48:59 +0100
  • c479faf9a9 Python SignedInteger rep needs long as well as int Tony Garnock-Jones 2018-09-25 10:20:35 +0100
  • 1fcfebf8d9 Link to Racket docs for prefab struct labels Tony Garnock-Jones 2018-09-25 10:08:22 +0100
  • 3dcc9edea4 Streamed binaries always use ByteString chunks Tony Garnock-Jones 2018-09-24 23:15:36 +0100
  • 55927716bc Squeak Smalltalk mapping Tony Garnock-Jones 2018-09-24 19:54:59 +0100
  • 15ddbdc479 Improve (?) Erlang mapping Tony Garnock-Jones 2018-09-24 19:54:52 +0100
  • c1b7ab9fd5 Remove page-break override Tony Garnock-Jones 2018-09-24 19:54:43 +0100
  • d5c44ba0d3 Improve formatting now that section numbers exist Tony Garnock-Jones 2018-09-24 19:54:23 +0100
  • f16a911892 RFC7159 -> RFC8259 Tony Garnock-Jones 2018-09-24 19:12:43 +0100
  • 711afb4922 Specially number appendices Tony Garnock-Jones 2018-09-24 19:12:29 +0100
  • f6bec07f5e Tweaks; python mapping Tony Garnock-Jones 2018-09-24 18:34:07 +0100
  • 3dd2366a55 Single-colon pseudoselectors Tony Garnock-Jones 2018-09-24 18:11:34 +0100
  • 585cbcdb9e Fix the jolly section numbering Tony Garnock-Jones 2018-09-24 18:11:19 +0100
  • da5a60f42c Split out CSS; attempt to get section numbering (grrr!) Tony Garnock-Jones 2018-09-24 16:45:39 +0100
  • 67d5d1c71f Minor print layout tweaks, and minor content fixes Tony Garnock-Jones 2018-09-24 16:08:48 +0100
  • a7aa13818d Tighten Tony Garnock-Jones 2018-09-24 15:33:19 +0100
  • cb2f2e6853 Literal small integers Tony Garnock-Jones 2018-09-24 14:09:26 +0100
  • 13d34e035a Trim and improve Tony Garnock-Jones 2018-09-24 12:59:22 +0100
  • acc4def15f Tweak print stylesheet Tony Garnock-Jones 2018-09-24 10:36:10 +0100
  • 0120875d15 Print makefile Tony Garnock-Jones 2018-09-23 22:56:41 +0100
  • 935ac403b4 Tweaks for Chrome and for print Tony Garnock-Jones 2018-09-23 22:56:36 +0100
  • 8c501a6591 Fixes Tony Garnock-Jones 2018-09-23 22:44:43 +0100
  • 7dee4c9b35 Progress Tony Garnock-Jones 2018-09-23 22:35:00 +0100
  • 8cecaec69b Many improvements Tony Garnock-Jones 2018-09-23 18:14:58 +0100
  • 9883d2bc5f move codec.md together with preserve.md Tony Garnock-Jones 2018-09-23 14:39:46 +0100
  • efd6bc72ea codec.md draft Tony Garnock-Jones 2018-06-05 10:32:00 +0100
  • 2b44d82c37 preserve.md based on codec.md which I'm about to check in Tony Garnock-Jones 2018-09-23 14:37:20 +0100
  • f264392a05 re-finangle `define/intermediate` to allow require & provides Sam Caldwell 2018-09-14 16:40:43 -0400
  • 3fa7d2f5b1 file system roles w messages Sam Caldwell 2018-09-12 19:32:06 -0400
  • 013c22d855 cell example Sam Caldwell 2018-09-12 17:16:25 -0400
  • 8a17bf8ef2 messages Sam Caldwell 2018-09-12 17:03:19 -0400
  • e7cc6cd452 fix making defn context with #f #f Sam Caldwell 2018-09-12 15:06:08 -0400
  • e10cf12870 stuff Sam Caldwell 2018-09-10 16:24:44 -0400
  • 2dc829229d assertions.js and WIP skeleton.js Tony Garnock-Jones 2018-09-10 10:47:10 +0100
  • a383b6703a Transferred from syndicate/js Tony Garnock-Jones 2018-09-09 18:13:57 +0100
  • a24475c707 Step zero of work toward imperative-syndicate/js Tony Garnock-Jones 2018-09-09 18:12:50 +0100
  • 181e6a87a0 sqlite driver Tony Garnock-Jones 2018-08-29 15:03:12 +0100
  • 8e88d4643c Rename codec --> preserve Tony Garnock-Jones 2018-08-27 10:24:11 +0100
  • a1c9af708d Explore struct inheritance Tony Garnock-Jones 2018-08-21 10:54:17 +0100
  • 710029ea9b Better codec Tony Garnock-Jones 2018-08-19 22:13:42 +0100
  • 03dad81a49 Improve multicast protocol Tony Garnock-Jones 2018-08-19 17:54:32 +0100
  • 41a4593183 Improve example Tony Garnock-Jones 2018-08-15 10:11:07 +0100
  • e7b33b22d0 book club Sam Caldwell 2018-08-14 18:23:35 -0400
  • 3a9564df59 dataflow Sam Caldwell 2018-08-14 17:02:39 -0400
  • 61a2ad2d76 query set Sam Caldwell 2018-08-14 16:35:39 -0400
  • 5b0bce7a12 query-value Sam Caldwell 2018-08-14 15:43:51 -0400
  • 8a34bf20d8 Initial quasi-port of Syndicate/rkt web driver Tony Garnock-Jones 2018-08-14 17:58:36 +0100
  • 0d9afec6df Merge branch 'master' into imperative Tony Garnock-Jones 2018-08-14 17:38:45 +0100
  • 47094c11c4 Responsibility transfer during outbound websocket connection establishment Tony Garnock-Jones 2018-08-14 17:38:36 +0100
  • 0b7f827cec Multicast-UDP-based dataspace sketch, from last night Tony Garnock-Jones 2018-08-14 12:35:56 +0100
  • 65e9ffac59 Clear no-longer-interesting timers Tony Garnock-Jones 2018-08-14 12:33:50 +0100
  • 6881393b53 define functions differently Sam Caldwell 2018-08-13 19:32:23 -0400
  • d05e73830d local define Sam Caldwell 2018-08-13 18:50:08 -0400
  • 8bd848bca0 TODO Tony Garnock-Jones 2018-08-13 21:45:44 +0100
  • 2a00d59231 term-intersect Tony Garnock-Jones 2018-08-13 21:32:51 +0100
  • 11f28e13e2 UDP and UDP multicast Tony Garnock-Jones 2018-08-13 20:07:27 +0100
  • 0972568eb2 walk/bind in begin as well Sam Caldwell 2018-08-09 22:06:08 -0400
  • 32c1321cdc code reuse! Sam Caldwell 2018-08-09 21:42:20 -0400
  • dc38f40927 re-factor field shenanigans Sam Caldwell 2018-08-09 21:02:24 -0400
  • 674b87740f free standing fields! Sam Caldwell 2018-08-08 15:20:09 -0400
  • 97174e668b during Sam Caldwell 2018-08-01 11:30:25 -0400
  • adb1098283 sets Sam Caldwell 2018-08-01 10:52:56 -0400
  • 1448d7db88 lists Sam Caldwell 2018-08-01 10:35:22 -0400
  • c95c32abd9 two buyer example Sam Caldwell 2018-07-31 15:54:16 -0400
  • a383667938 on start and stop, spawned actors Sam Caldwell 2018-07-31 15:51:20 -0400
  • 1e3fc3ae49 simple example Sam Caldwell 2018-07-31 14:46:36 -0400
  • 96b61c8b75 fix pattern compilation Sam Caldwell 2018-07-31 14:46:24 -0400
  • 9a161e77c4 fix bugs, null-ary stops Sam Caldwell 2018-07-31 14:03:15 -0400
  • a59cf4a039 cond, match Sam Caldwell 2018-07-30 17:36:42 -0400
  • e5e7865f73 lambdas Sam Caldwell 2018-07-30 17:00:42 -0400
  • 0267b4a5f3 utilities Sam Caldwell 2018-07-30 15:17:30 -0400
  • 8cce22face Merge branch 'master' into imperative Tony Garnock-Jones 2018-07-30 19:39:41 +0100
  • eb70563edb Respond to ISON commands. Tony Garnock-Jones 2018-07-30 19:39:19 +0100
  • c564bd28ec Weirdly, irssi sends the "ison" command in lower-case. Tony Garnock-Jones 2018-07-30 19:39:11 +0100
  • 9218387500 stop statement Sam Caldwell 2018-07-30 14:01:56 -0400
  • cd854daaa8 dataspace form Sam Caldwell 2018-07-30 11:54:05 -0400
  • 27e55c583c check input and output safety in spawn rule Sam Caldwell 2018-07-27 17:16:44 -0400
  • 1cf4b82abb small adjustment to Role type Sam Caldwell 2018-07-27 11:58:10 -0400
  • 0a702c77f0 refactor effect checking Sam Caldwell 2018-07-27 11:37:22 -0400
  • 636723dc05 refactor how effects are checked & propagated Sam Caldwell 2018-07-27 10:54:22 -0400
  • b5e4153cdb rename facet effect key from e to f Sam Caldwell 2018-07-27 10:24:46 -0400
  • 70db387b54 roles for bank account facets Sam Caldwell 2018-07-26 17:16:06 -0400
  • e876b0a16b start on facet role types Sam Caldwell 2018-07-25 17:26:47 -0400
  • 865b3ae8a1 Installation instructions Tony Garnock-Jones 2018-06-01 10:03:59 +0100
  • 050821e714 Style support for (potential) code walkthrough pages Tony Garnock-Jones 2018-06-01 09:42:43 +0100
  • a4ef60fa78 Per-page custom stylesheet additions Tony Garnock-Jones 2018-06-01 09:42:10 +0100
  • 75b3488c83 Merge branch 'master' into imperative Tony Garnock-Jones 2018-06-01 09:13:04 +0100
  • cb351eee09 Repair current-ground-dataspace initialization, to allow override in e.g. graphical programs Tony Garnock-Jones 2018-06-01 09:12:39 +0100
  • 983d0a2172 note on performance Sam Caldwell 2018-05-17 12:17:27 -0400
  • 070afb06fa typed book club Sam Caldwell 2018-05-16 15:58:02 -0400
  • f82b22fd83 parse action types in transition,quit to allow empty lists Sam Caldwell 2018-05-16 11:44:03 -0400
  • ea974b0a9d start on typed book club Sam Caldwell 2018-05-15 17:25:19 -0400
  • ec17e200c7 add tuple and patch utilities and set datatype Sam Caldwell 2018-05-15 17:25:08 -0400
  • 14f5cfdceb typed bank account Sam Caldwell 2018-05-14 16:17:52 -0400
  • 939b0620ed filesystem driver Tony Garnock-Jones 2018-05-11 09:58:25 +0100
  • 4d7f2d1ba8 typed box and client Sam Caldwell 2018-05-10 14:53:59 -0400
  • 9867eed0d6 consolidate Quit and Transition types Sam Caldwell 2018-05-09 18:08:55 -0400
  • 38d9297453 flesh out Sam Caldwell 2018-05-09 17:34:42 -0400
  • b26994628a macro wrangling Sam Caldwell 2018-05-08 17:21:25 -0400