Esempio n. 1
0
 public static Numeral Pow(this Numeral mantissa, Numeral exponent) => ChurchNumeral.Pow(mantissa)(exponent);
Esempio n. 2
0
 public static Numeral Multiply(this Numeral a, Numeral b) => ChurchNumeral.Multiply(a)(b);
Esempio n. 3
0
 public static Numeral Subtract(this Numeral a, Numeral b) => ChurchNumeral.Subtract(a)(b);
Esempio n. 4
0
 public static Numeral Add(this Numeral a, Numeral b) => ChurchNumeral.Add(a)(b);
Esempio n. 5
0
 public static Numeral Decrease(this Numeral n) => ChurchNumeral.Decrease(n);
Esempio n. 6
0
 public static Numeral Increase(this Numeral n) => ChurchNumeral.Increase(n);