昨日は27時半くらいに帰ってきて，それからあれこれして，28時半に寝たようだ．今日は10時半に目が覚めて，寝溜めが足りないとか思いながら風呂に入って，上がってから12時過ぎに布団に潜り込んだら気持ちよくて寝てしまった．起きたら23時半頃．途中で激し…

http://caml.inria.fr/pub/docs/u3-ocaml/ Didier Rémy, Using, Understanding, and Unraveling The OCaml Language [These course notes] provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) …