Skip to content

Commit

Permalink
typo in intro
Browse files Browse the repository at this point in the history
  • Loading branch information
kbuzzard committed Oct 27, 2023
1 parent bf5e06a commit 4561b83
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Game/Levels/Algorithm/L02add_algo1.lean
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ In some later worlds, we're going to see some much nastier levels,
like `(a + a + 1) + (b + b + 1) = (a + b + 1) + (a + b + 1)`.
Brackets need to be moved around, and variables need to be swapped.
In this level, `(a + b) + (c + d) = ((a + c) + b) + d`,
In this level, `(a + b) + (c + d) = ((a + c) + d) + b`,
let's forget about the brackets and just think about
the variable order.
To turn `a+b+c+d` into `a+c+d+b` we need to swap `b` and `c`,
Expand Down

0 comments on commit 4561b83

Please sign in to comment.