Paper Errata

Back to Santa

this page will list errors found in he paper (though we hope not too many!), should you discover any please do not hesitate to contact us.
Paper Errata
05/28/2010 Page 14:19 line 1 sync (just.elves.a, just.elves.b) -- wait for two other elves

should be

sync (just.elves.a!, just.elves.b!) -- wait for two other elves

Explanation: the sync procedure takes in channel-ends, not entire channels,
so we must specify which end of the channel we are passing.