import Game.Levels.Algorithm.L01add_left_comm
import Game.Levels.Algorithm.L02add_algo1
import Game.Levels.Algorithm.L03add_algo2
import Game.Levels.Algorithm.L04add_algo3
import Game.Levels.Algorithm.L05pred
import Game.Levels.Algorithm.L06is_zero
import Game.Levels.Algorithm.L07succ_ne_succ
import Game.Levels.Algorithm.L08decide
import Game.Levels.Algorithm.L09decide2

World "Algorithm"
Title "Algorithm World"

Introduction
"
Proofs like $2+2=4$ and $a+b+c+d+e=e+d+c+b+a$ are very tedious to do by hand.
In Algorithm World we learn how to get the computer to do them for us.

Click on \"Start\" to proceed.
"