pub.dev : lambda_calculus : 1.3.3
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.3.3
Published:
Indexed:
Loading...
Readme
Loading...