public static IChurchBoolean IsOdd(this INaturalNumber n) { return(new ChurchNot(n.IsEven())); }
succ: p2 => p2.IsEven())); // Eval previous' previous public static IChurchBoolean IsOff(this INaturalNumber n) => new ChurchNot(n.IsEven());
public IChurchBoolean VisitSucc(INaturalNumber predecessor) { // Evaluate previous' previous value return(predecessor.IsEven()); }