λ-calculus
Turing Machines
Graph
Debug
Tape Input:
Write to tape
<<
<=
=>
>>
