授業でλ計算の簡約規則を (λx.e1)e2 → [e1/x]e2とか書き間違えていたようです。終わってから学生に指摘されました。ショック。っていうか、そういうことはもっと早くいってください。あと、OCamlのlet rec f x = f x in false && f 3のfの型をint→αとか口走…