pub.dev : lambda_calculus : 1.1.1
A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.
Registry -
Documentation -
Download -
JSON -
codemeta.json
purl: pkg:pub/lambda_calculus@1.1.1
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- lints ^2.0.0 Development
- test ^1.24.1 Development
- collection ^1.17.2
- dartz ^0.10.0