lambda_calculus 1.3.5 lambda_calculus: ^1.3.5 copied to clipboard
A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.
Stable versions of lambda_calculus
Version | Min Dart SDK | Uploaded | Documentation | Archive | |
---|---|---|---|---|---|
1.3.5 | Null safety | 3.0 | 13 months ago | ||
1.3.4 | Null safety | 3.0 | 13 months ago | ||
1.3.3 | Null safety | 3.0 | 14 months ago | ||
1.3.2 | Null safety | 3.0 | 14 months ago | ||
1.3.0 | Null safety | 3.0 | 17 months ago | ||
1.2.0 | Null safety | 3.0 | 17 months ago | ||
1.1.1 | Null safety | 3.0 | 17 months ago | ||
1.1.0 | Null safety | 3.0 | 17 months ago | ||
1.0.0 | Null safety | 3.0 | 17 months ago |
Retracted versions of lambda_calculus
Version | Min Dart SDK | Uploaded | Documentation | Archive | |
---|---|---|---|---|---|
1.3.1 | Null safety | 3.0 | 14 months ago |