lambda_calculus 1.3.5 copy "lambda_calculus: ^1.3.5" to clipboard
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

VersionMin Dart SDKUploadedDocumentationArchive
1.3.5Null safety3.013 months agoGo to the documentation of lambda_calculus 1.3.5Download lambda_calculus 1.3.5 archive
1.3.4Null safety3.013 months agoGo to the documentation of lambda_calculus 1.3.4Download lambda_calculus 1.3.4 archive
1.3.3Null safety3.014 months agoDownload lambda_calculus 1.3.3 archive
1.3.2Null safety3.014 months agoDownload lambda_calculus 1.3.2 archive
1.3.0Null safety3.017 months agoDownload lambda_calculus 1.3.0 archive
1.2.0Null safety3.017 months agoDownload lambda_calculus 1.2.0 archive
1.1.1Null safety3.017 months agoDownload lambda_calculus 1.1.1 archive
1.1.0Null safety3.017 months agoDownload lambda_calculus 1.1.0 archive
1.0.0Null safety3.017 months agoDownload lambda_calculus 1.0.0 archive

Retracted versions of lambda_calculus

VersionMin Dart SDKUploadedDocumentationArchive
1.3.1Null safety3.014 months agoDownload lambda_calculus 1.3.1 archive
2
likes
160
points
43
downloads

Publisher

unverified uploader

Weekly Downloads

A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.

Repository (GitHub)
View/report issues

Documentation

API reference

License

BSD-3-Clause (license)

More

Packages that depend on lambda_calculus