SHARE

TWEET

# Untitled

a guest
Dec 14th, 2019
86
Never

**Not a member of Pastebin yet?**

**, it unlocks many cool features!**

__Sign Up__- churchIncrement : ((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a))
- churchIncrement n = \f => \x => n f (f x)
- churchNumeral : Nat -> (a -> a) -> (a -> a)
- churchNumeral Z = \f => \x => x
- churchNumeral (S k) = myIncrement (churchNumeral k)
- churchPlus : ((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a))
- churchPlus m n = \f => \x => m f (n f x)
- churchMultiply : ((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a))
- churchMultiply m n = \f => \x => m (n f) x
- churchPow : ((a -> a) -> (a -> a)) -> (((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a))) -> ((a -> a) -> (a -> a))
- churchPow m n = \f => \x => (n m) f x
- c : Nat
- c = 4
- f : Integer -> Integer

RAW Paste Data

We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.