From 118c163193d75adb997a37f08c010da3128d7428 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 11 Jul 2016 12:27:15 -0400 Subject: [PATCH] Done --- racket/syndicate/examples/actor/two-buyer-protocol.rkt | 2 -- 1 file changed, 2 deletions(-) diff --git a/racket/syndicate/examples/actor/two-buyer-protocol.rkt b/racket/syndicate/examples/actor/two-buyer-protocol.rkt index 230d6b9..49afa14 100644 --- a/racket/syndicate/examples/actor/two-buyer-protocol.rkt +++ b/racket/syndicate/examples/actor/two-buyer-protocol.rkt @@ -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