Dylan Sprague Oct. 22, 2024, evening 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 Reply Report Reply and Subscribe
Argh, formatting.
Original code block:
Transfer = some value in 1..=alice: 1. alice' = alice 2. bob' = bobPossible correction:
Transfer = some value in 1..=alice: 1. alice' = alice - value 2. bob' = bob + value