にわとり小屋でのプログラミング ブログ

名古屋のCoqエンジニアです。日記は勘で書いてるところがあるので細かいとこが違うことがあります。

LLFutureというイベントに行ってきます。

Gallinaについて軽く話します。