>>803
もちろん、論理値や整数値もλ式で表現するコンパイラなんだろうね?