Alligator Eggs!

Alligator Eggs!
這還真有趣，尤其裡面的描述，雖然有點莫名其妙，但還滿生動的。
我看了半天，才忽然發覺，其實這可以真的拿來教小孩 lambda calculus.
因為其實這並不是很困難的東西，如果有個具體的概念與規則可以類比，
我想確實是可以這樣試試的。（雖然我不知道學這有啥用？邏輯訓練之類的？）

原本都是把他當搞笑在看，所以就沒想到這層

ptt PLT 板 stopcrying 貼了影片，有人寫了程式輔助玩這東西...
（是說，還是印出來玩「建構式」lambda calculus 比較有趣吧？ :p）
Alligator Eggs revisited