Back to the email

Argh, formatting.

Original code block:

Transfer =
  some value in 1..=alice:
    1. alice' = alice
    2. bob' = bob

Possible correction:

Transfer =
  some value in 1..=alice:
    1. alice' = alice - value
    2. bob' = bob + value
You're not signed in. Posting this comment will subscribe you to this newsletter with the email address you enter below.