LAMBDA CALCULUS FUNCTIONS
Need help with writing the functions SKIP1, DECR, SUB, ISZ, anEQL.
——————————————————————————–
— Booleans
——————————————————————————–
let TRUE = x y -> x
let FALSE = x y -> y
let ITE = b x y -> b x y
let AND = b1 b2 -> ITE b1 b2 FALSE
let OR = b1 b2 -> ITE b1 TRUE b2
——————————————————————————–
— Numbers
——————————————————————————–
let ZERO = f x -> x
let ONE = f x -> f x
let TWO = f x -> f (f x)
let INCR = n f x -> f (n f x)
——————————————————————————–
— Pairs
——————————————————————————–
let PAIR = x y b -> ITE b x y
let FST = p ->
OR
PayPal Gateway not configured
OR
PayPal Gateway not configured