
module Example where


{-
main xs = map head xs
-}

{-
main x = neq x
neq = not . eq
eq x = x == (0::Int)
-}

main x y = neq (x::Int) y
neq x y = not (x == y)


module Example where


{-
main xs = map head xs
-}

{-
main x = neq x
neq = not . eq
eq x = x == (0::Int)
-}

{-
main x y = neq (x::Int) y
neq x y = not (x == y)
-}

main xs = (a . b . c) xs

a x = x+(1::Int)
b x = x*(4::Int)
c x = x-(3::Int)




Add another example, which tests the homeomorphic embedding
Add another example, which tests the homeomorphic embedding