やったこと

nominal

onamaeという名前で公開した。

https://github.com/makenowjust-labs/onamae

READMEも色々書いたので分かりやすくなっているはず。
それはそうとGitHubのMarkdownだと \mathbb が黒板太字にならないのはなぜだろう。
フォントがインストールされてない？

nominalのアルゴリズムを色々実装していきたいけど、そんなに面白い例があるのか分かっていない。
もうちょい調べよう。

あとログ機構を導入したり。
まあやることは色々ある。