gistfile1.hs

data Bool' = False' | True' deriving (Eq, Show, Ord)



not :: Bool' -> Bool'
not False' = True'
not True' = False'

(\/) :: Bool'->Bool'->Bool'
(\/) _ True' = True'
(\/) True' _ = True'
(\/) _ _ = False'

(/\):: Bool'->Bool'->Bool'
(/\) False' _ = False'
(/\) _ False' = False'
(/\) _ _ = True'

(-->):: Bool'->Bool'->Bool'
(-->) False' _     = True'
(-->) True'  True' = True'
(-->) _      _     = False'

(<--):: Bool'->Bool'->Bool'
(<--) a b = not' $ a --> b

not' :: Bool'->Bool'
not' True' = False'
not' False'= True'


infinity :: a-> [a]
infinity x = [x] ++ infinity x