多忙ボケ

授業でλ計算の簡約規則を

(λx.e1)e2 → [e1/x]e2

とか書き間違えていたようです。終わってから学生に指摘されました。ショック。っていうか、そういうことはもっと早くいってください。

あと、OCamlのlet rec f x = f x in false && f 3のfの型をint→αとか口走ってしまいました。忙しいとボケるものです（言い訳）。