Theorem Provingのアドベントカレンダーに参加しようと思ったのだが、現時点で参加者5人。 このままだとどうなるのだろうか・・・？ できれば参加者求む。

おめでとうございます。 ソフトバンクと書かない辺りがミソ。

今日、メールが誤判定により迷惑メールフォルダに放り込まれた。 早速動かそうとして・・・ 動かせない。 メニューにそんなコマンドがない。 ちょっと待とうよ、メールを振り分けたりしたいでしょう？ 間違ったら動かすでしょう？ 削除しか出来ないって何？ …

コード読みにOCaml global tagsというツールを使っていた。 global tagsというツールのOCaml用ラッパーだ。 しかし、これがまたいろんなエラーを出すもので、3.11以降の新しい言語機構への対応などと言うすばらしいことは一切ないわけである。 疲れそうな話…