Alligator Lambda Calculus

Since my Turing Machine coloring book idea has not yet reached fruition, you can only imagine my pleasant surprise when one of my friends sent me this link about using Alligators to teach children about lambda calculus. It's really cute! I really like how the "eating rule" represents beta reduction.

Enjoy!