多分、Expectモジュールを使う必要がありそうです。

前回の真理値表関連で。 ある回路図二つを用意して、それらが同じ動作をすると言うことを確かめるにはどうすれば良いかと言えば、全ての入力に対して全ての出力を行なえばいいわけです。 すなわち、LiLFeSで書くとこうなります。 ne_sinri <- [pred]. ne_sin…