Exemple #1
0
        internal static void Point(Numeral x, Numeral y)
        {
            Tuple <Numeral, Numeral> point1 = ChurchTuple <Numeral, Numeral> .Create(x)(y);

            Numeral x1 = point1.Item1();
            Numeral y1 = point1.Item1();

            // Move up.
            Numeral y2 = y1.Increase();
            Tuple <Numeral, Numeral> point2 = ChurchTuple <Numeral, Numeral> .Create(x1)(y2);
        }
Exemple #2
0
 public static T2 Item2 <T1, T2>(this Tuple <T1, T2> tuple) => ChurchTuple <T1, T2> .Item2(tuple);
Exemple #3
0
 public static T1 Item1 <T1, T2>(this Tuple <T1, T2> tuple) => ChurchTuple <T1, T2> .Item1(tuple);