王様ラムダ

クジで関数を引き、引数の番号同士を結ぶラムダ王様ゲーム

ラウンド 0/5 スコア 0 最高 —

4人のプレイヤーが番号で名乗る。
王様(=ラムダ式)は引数の番号を指定し、
あなたは「型整合する人選」をして正しくβ簡約せよ。

5ラウンドで型整合を最大化。

各引数スロットの「番号(=プレイヤー)」をクリック/タップで選び、β-簡約実行。

各プレイヤーは「型」(Int / Bool / Func 等)を持っており、王様は引数に型を要求します。

型整合かつ式の意味として正しい引数を選ぶと高得点。誤る/不一致なら減点。