module Examples.Ch6_Cliff ( module Examples.Ch6_Cliff , module Examples.Ch6_Cliff.TD , module Examples.Ch6_Cliff.TDl ) where import Examples.Ch6_Cliff.Rules import Examples.Ch6_Cliff.TD import Examples.Ch6_Cliff.TDl cw :: CW cw = CW (8,4)