Commit 16bf96f9 authored by Frontull Samuel's avatar Frontull Samuel
Browse files

different type name

parent 5a773a38
......@@ -4,8 +4,8 @@ module Pcp where
-- BOOLEANS
type LCBoolChurch = forall a . a -> a -> a
newtype LCBool = LCBool { unBool :: LCBoolChurch }
type LCBoolT = forall a . a -> a -> a
newtype LCBool = LCBool { unBool :: LCBoolT }
true :: LCBool
true = LCBool $ \x y -> x
......@@ -156,8 +156,8 @@ ycomb f = (\h -> h $ Mu h) (\x -> f . (\(Mu g) -> g) x $ x)
-- LISTS
type LCListChurch b = forall a . (b -> a -> a) -> a -> a
newtype LCList b = LCList { unList :: LCListChurch b }
type LCListT b = forall a . (b -> a -> a) -> a -> a
newtype LCList b = LCList { unList :: LCListT b }
-- empty list
nil :: LCList a
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment