λ箱詰め

操作

矢印キーでプレイヤー（@）を移動。隣接する箱は押せる（壁・別の箱があると不可）。

R: プレイヤーが「関数箱」と「引数箱」に隣接していると β簡約 が起きて新しい箱が生まれる。

Z: 1手戻し（無制限）。可逆計算の精神で、いつでも探索を巻き戻せる。

勝利条件: ターゲット項を盤上に作り出す。少ない手数ほど高得点。