lambda_calculus library
Classes
-
ILambda<
T> - An interface for Lambda-ish expressions.
-
ILambdaConstants<
T> - An interface for common constants/combinators in lambda calculus.
- Lambda
- The class representing lambda expressions.
- LambdaBuilder
- A builder for Lambda.
- LambdaType
- The Hindley-Milner type for Lambda expressions.
Enums
- LambdaEvaluationType
- The evaluation strategies for lambda calculus.
- LambdaForm
- The forms of lambda expressions.
Extensions
- LambdaConversionExtension on Lambda
- An extension that converts Lambda to int using the Church natural number encoding.
- LambdaConversionIntExtension on int
- An extension that converts int to Lambda using the Church natural number encoding.
- LambdaEvaluationExtension on Lambda
- Extension for evaluating Lambda expressions.
- LamdbaTypeExtension on Lambda
- An extension to find the principal type of a Lambda.
- ToLambdaExtension on String
- Parse a Lambda expression from a string.