Hoed-0.3.1: examples/ExpressionSimplifier/Main1.hs

-- A program with unexpected output.

import MyModule
import Debug.Hoed.Pure

main = testO prop_idemSimplify (Mul (Const 1) (Const 2))