Alligator Eggs

Alligator Eggs is a puzzle game. The game represents the untyped lambda calculus. A hungry alligator is a lambda abstraction, an old alligator is parentheses, and eggs are variables. The eating rule corresponds to beta-reduction. The color rule corresponds to over-cautious alpha-conversion. The old age rule says that if a pair of parentheses contains a single term, the parentheses can be removed.

You still with me? I didn't understand all of this either. Maybe I should read the explanation on the Alligator Eggs site again.