lambda_constants library

Classes

LambdaBuilderConstants
Common lambda terms and combinators, but in the LambdaBuilder form.
LambdaConstants
Common lambda terms and combinators.