There is an error in the Marlowe doc, it’s not a big deal, but it may confuse some people who are trying to learn.
Where is it: In Section 12.1 of the Marlowe documentation
What the error is: The payee in this example is supposed to be Bob, but in Blocky and the Haskel code, the payee is set to Alice. It should be changed to Bob.
Below, the explanation is accurate, no correction needed:
The contract first requires a deposit from Alice of
1Lovelace, and then asks Bob to make a choice (calledbool) of0or1. The contract then pays this choice plus one to Bob from Alice’s account.