First hack at lambda calculus.
Looking at cellular automata.