Re: [racket-users] Re: send-new-place-channel-to-named-dest usage question

At Mon, 21 Sep 2015 05:22:34 -0700 (PDT), Tim Brown wrote: > On Sunday, August 9, 2015 at 11:11:00 AM UTC+1, Tim Brown wrote: > > On 8 August 2015 15:13:01 BST, Matthew Flatt wrote: > > >I fixed the minor issue, but I haven't been able to figure out how > >

Re: [racket-users] Re: send-new-place-channel-to-named-dest usage question

Matthew, On Sunday, August 9, 2015 at 11:11:00 AM UTC+1, Tim Brown wrote: > On 8 August 2015 15:13:01 BST, Matthew Flatt wrote: > >I fixed the minor issue, but I haven't been able to figure out how > >`send-new-place-channel-to-named-dest` is meant to work, either. (I'll >

Re: [racket-users] Re: send-new-place-channel-to-named-dest usage question

Thanks, Matthew. Tim On 8 August 2015 15:13:01 BST, Matthew Flatt mfl...@cs.utah.edu wrote: I fixed the minor issue, but I haven't been able to figure out how `send-new-place-channel-to-named-dest` is meant to work, either. (I'll try again to contact Kevin.) At Thu, 6 Aug 2015 11:32:29 +0100,

Re: [racket-users] Re: send-new-place-channel-to-named-dest usage question

I fixed the minor issue, but I haven't been able to figure out how `send-new-place-channel-to-named-dest` is meant to work, either. (I'll try again to contact Kevin.) At Thu, 6 Aug 2015 11:32:29 +0100, Tim Brown wrote: On 06/08/15 11:29, Tim Brown wrote: (define node (create-place-node