βリダクション島

操作

島の上にあるλ式をクリックすると、その redex がβ簡約される。順序によって結果が変わるため、戦略的に選ぶ必要がある。目標の正規形（NF）に達したら次の島へ。誤った redex を選ぶと残命が減る。