特に何をやったという訳ではないけど。
最近、項書き換え系を勉強している。
Maudeは項書き換えシステム記述言語です。
何て読むんだろ？モード？マウデ？
インストール
http://safe-tools.dsic.upv.es/maude/（新しいタブで開いてください）
の一番下から。あとCygwinも要る。
何気にVSCodeでシンタックスハイライト出来るのは嬉しい。
サンプル
やってないけど、解を探索したりもできるらしい。
参考記事
https://www.ncaq.net/2017/01/30/（新しいタブで開いてください）
