ICFP Contest 2012
Lambda Lifting
The task of the ICFP contest 2012 was writing a planner for a mining roboter to dig lambdas from the mines near St. Andrews.
For your entertainment you can play with my Javascript Lambda Lifting Simulator. Use the keyboard to play it.
Moves: