Milestone 1

Initially, I won't think much of the graphics and focus on laying down the foundations of the project.

A man, a plan, a canal, Panama

• (end of April) Get the theory sorted: de Bruijn indices, different evaluation strategies etc.

• (early May) Implement parser and pretty-printer, to facilitate debugging.

• (middle of May) Write tests; fix any bugs found.

• (end of May) Implement basic expression evaluator.

At the end of all this, I will have a basic text-based lambda calculus evaluator.