diff --git a/README.md b/README.md index 176f606b..b4ac3c91 100644 --- a/README.md +++ b/README.md @@ -292,9 +292,15 @@ Throughout this section and the following we will use this example extensively t Let's say our computation consists of calculating the `k`-th number in the fibonacci sequence. This is just the sequence of numbers $`a_n`$ satisfying ```math -a_0 = 1 \\ -a_1 = 1 \\ -a_{n+2} = a_{n + 1} + a_n \\ +a_0 = 1 +``` + +```math +a_1 = 1 +``` + +```math +a_{n+2} = a_{n + 1} + a_n ``` An execution trace for this just consists of a table with one column, where each row is the `i`-th number in the sequence: