Example #1
0
 public static IChurchBoolean IsOdd(this INaturalNumber n)
 {
     return(new ChurchNot(n.IsEven()));
 }
Example #2
0
                succ: p2 => p2.IsEven()));      // Eval previous' previous

        public static IChurchBoolean IsOff(this INaturalNumber n)
        => new ChurchNot(n.IsEven());
Example #3
0
 public IChurchBoolean VisitSucc(INaturalNumber predecessor)
 {
     // Evaluate previous' previous value
     return(predecessor.IsEven());
 }