今回は Constant Definitions から Parametric Sets まで。 Constant Definitions nine : ℕ nine = suc (suc (suc (suc (suc (suc (suc (suc (suc zero)))))))) ten : ℕ ten = suc nine (定数名) = (式) の形式で定数を定義することができます。 定義の前行…