OCaml-Nagoya の人たちと飲み会

もう 1 週間も前の話ですが、OCaml-Nagoya の人たちや ocaml.jp の管理人などと飲み会でした。内容が秘密情報なのか公開情報なのか確認しなかったのでどこまで語って良いのかわかりませんが、とりあえず近いうちに日本の OCaml コミュニティが加速するような気がします。日本の OCaml 使いは期待しましょう。

あと今井さん (にわとりの人) は、プログラミング言語より前に定理証明器に出会ったという話とか。ふおおお。