*Main> isTaut (Imply (And (Var 'A') (Var 'B')) (Var 'A')) Const True *Main> isTaut (Imply (And (Var 'A') (Not (Var 'A'))) (Const False)) Const True恒等式かどうか判定するプログラム．これも『プログラミング Haskell』に載っていた例題だけどあっ…

なにやら『プログラミング Haskell』で足し算のみ可能なスタック型 VM を実装していたのを見て，普通に関数を与えられるように改良 (?) してみた．なんとなく要領を掴めてきた…はず…! data Expr = Const Int | OP Op | OPCODE Opcode type Op = (Int, [Int] …