0897036557
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. |
||
---|---|---|
.. | ||
require-struct | ||
require:typed | ||
bank-account.rkt | ||
book-club.rkt | ||
cell.rkt | ||
chat-tcp2.rkt | ||
file-system.rkt | ||
ping-pong.rkt | ||
provides.rkt | ||
requires.rkt | ||
simple-dataflow.rkt | ||
simple-dataspace.rkt | ||
simple-during.rkt | ||
simple-query-set.rkt | ||
simple-query-value.rkt | ||
simple-stop-facet.rkt | ||
two-buyer-protocol.rkt |