Constants

Namespace: CppUtils::Functional::LambdaCalculus::v2

Public types

False

using CppUtils::Functional::LambdaCalculus::v2::False = typedef Lambda<Lambda<Variable<0> >>;

True

using CppUtils::Functional::LambdaCalculus::v2::True = typedef Lambda<Lambda<Variable<1> >>;

If

using CppUtils::Functional::LambdaCalculus::v2::If = typedef Lambda< Lambda< Lambda< Application< Application<Variable<2>, Variable<1> >, Variable<0> >> >>;

And

using CppUtils::Functional::LambdaCalculus::v2::And = typedef Lambda< Lambda< Application< Application< Application<If, Variable<1> >, Variable<0> >, False> >>;

Or

using CppUtils::Functional::LambdaCalculus::v2::Or = typedef Lambda< Lambda< Application< Application< Application<If, Variable<1> >, True>, Variable<0> >> >;

Not

using CppUtils::Functional::LambdaCalculus::v2::Not = typedef Lambda< Application< Application< Application<If, Variable<0> >, False>, True> >;

Zero

using CppUtils::Functional::LambdaCalculus::v2::Zero = typedef False;

Successor

using CppUtils::Functional::LambdaCalculus::v2::Successor = typedef Lambda< Lambda< Lambda< Application< Variable<1>, Application< Application<Variable<2>, Variable<1> >, Variable<0> >> >> >;

Add

using CppUtils::Functional::LambdaCalculus::v2::Add = typedef Lambda< Lambda< Lambda< Lambda< Application< Application<Variable<3>, Variable<1> >, Application< Application<Variable<2>, Variable<1> >, Variable<0> >> >> >>;

Mult

using CppUtils::Functional::LambdaCalculus::v2::Mult = typedef Lambda< Lambda< Lambda< Application< Variable<2>, Application<Variable<1>, Variable<0> >> >> >;

Constants & variables

areEqual

constexpr bool CppUtils::Functional::LambdaCalculus::v2::areEqual;