ラムダ剣士
敵を斬るとラムダ式が簡約され、戦闘が数式パズルになる剣戟ハクスラ
HP 5/5
STAMINA 100
FLOOR 1
ENEMIES 0
SCORE 0
BEST 0
CURRENT TERM (β-reduce by attacking redex)
λx.x
RESULT
NORMAL FORM
ボスのラムダ式を正規形まで簡約完了。
OPERATION
WASD 移動 / 左クリック β-簡約攻撃（敵=Redex を1つ刈る） / 右クリック η-変換ガード（カウンタ） / Space 高階関数コンボ（範囲） / R リスタート
ラムダ計算 tieup — 各フロアは1つのラムダ式。敵は redex（簡約可能項）として浮遊し、斬ると β-簡約が進む。式が正規形になればクリア。攻撃選択が型を変える。