syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
syndicate-2017/racket/typed/examples/roles
History
Sam Caldwell bb95c4052c Don't use syndicate's action-collecting module-begin 
Implicitly starting a dataspace with top-level actions is a hole for
the type system, which needs to know the type of possible assertions.

Instead, provide `run-ground-dataspace` for kicking off the program.
 		2019-01-25 10:51:46 -05:00
..
require-struct require-struct 2019-01-03 12:06:14 -05:00
require:typed require/typed - no contracts 2019-01-03 14:01:09 -05:00
bank-account.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
book-club.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
cell.rkt cell example 2018-09-12 17:16:25 -04:00
chat-tcp2.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
file-system.rkt file system roles w messages 2018-09-12 19:32:06 -04:00
ping-pong.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
provides.rkt re-finangle `define/intermediate` to allow require & provides 2018-09-14 16:40:43 -04:00
requires.rkt re-finangle `define/intermediate` to allow require & provides 2018-09-14 16:40:43 -04:00
simple-dataflow.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
simple-dataspace.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
simple-during.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
simple-query-set.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
simple-query-value.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
simple-stop-facet.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00
two-buyer-protocol.rkt Don't use syndicate's action-collecting module-begin 2019-01-25 10:51:46 -05:00