きくらげ観察日記

好きなことを、適当に。

Coqで型クラス

ブログ移転しました。新しいサイトはこちら:
genkami.github.io