やったこと

nominal

気合いでnominal版の$L^\ast$を実装した。
一応$\nu L^\ast$と呼ばれることになっているが、値をnominalにしているだけで中身は普通の$L^\ast$と変わらないと思う。

地味にons-hsのquotientの挙動があやしい感じがするけど自信がない。
単に自分の理解不足な気もする。むずかしい。

FIFO(3)で40分くらいかかるので遅い。
もうちょいons-hsだと5分くらいっぽいので、もう少し高速化できるはず。
がんばりたい。