syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
syndicate-2017/prospect-monolithic
History
Tony Garnock-Jones 03efb19a4d Optionally-named process behaviour functions 2016-01-27 20:46:24 -05:00
..
drivers Monolithic semantics. 2016-01-23 18:24:07 -05:00
examples Fix "out"-related bug in monolithic implementation 2016-01-24 00:04:29 -05:00
lang Monolithic semantics. 2016-01-23 18:24:07 -05:00
trace Monolithic semantics. 2016-01-23 18:24:07 -05:00
README.md Monolithic semantics. 2016-01-23 18:24:07 -05:00
core.rkt Optionally-named process behaviour functions 2016-01-27 20:46:24 -05:00
demand-matcher.rkt on-claim fix for incremental, on-claim impl for monolithic 2016-01-24 00:03:59 -05:00
ground.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00
lang.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00
main.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00
mux.rkt Fix "out"-related bug in monolithic implementation 2016-01-24 00:04:29 -05:00
scn.rkt Monolithic semantics. 2016-01-23 18:24:07 -05:00

README.md

prospect-monolithic

This is an implementation of the monolithic semantics, without any use of patches.