MathsJam and Alligator Eggs

We had MathsJam this evening, which was fun as always. One of my contributions was a finding called Alligator Eggs, which is a game-like encoding of lambda calculus. :)