ラムダ神経衰弱
α変換でカードが姿を変える、関数的神経衰弱
手数 0
ペア 0/6
コンボ 0
スコア 0
最高 —
カードをめくると、α変換された別表現と一致判定されます。
操作 / Controls
カードをタップ/クリックでめくる。同じλ式（α同値なら別表現でも可）を2枚揃えると消える。
↺ Undoで直前のめくりを取り消し（可逆）。連続成功でコンボボーナス。
α同値判定の例：λx.x と λy.y は同一視。