C# (CSharp) Lambda Calculus Examples

Example #1

        static void Main(string[] args)
        {
            var t = new True();
            var f = new False();

            CheckAnd(f, f);
            CheckAnd(t, f);
            CheckAnd(f, t);
            CheckAnd(t, t);

            var sieben = Calculus.Plus(Calculus.FromInt(3), Calculus.FromInt(4));

            System.Console.WriteLine("3 + 4 = {0}", sieben);
        }

Example #2

 static void CheckAnd(Boolean a, Boolean b)
 {
     System.Console.WriteLine("{0} and {1} = {2}", a, b, Calculus.And(a, b));
 }