syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Done

This commit is contained in:
Tony Garnock-Jones 2016-07-11 12:27:15 -04:00
parent 6fae78c7c6
commit 118c163193
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
racket/syndicate/examples/actor/two-buyer-protocol.rkt
View File

@ -3,8 +3,6 @@
;; given in Honda/Yoshida/Carbone 2008, "Multiparty Asynchronous
;; Session Types".
;; TODO:: code this up in Syndicate/js. See whether the killing-child-facets problems exists there.
;; SAMPLE OUTPUT:
;;---------------------------------------------------------------------------
;; A learns that the price of "Catch 22" is 2.22