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.

10 versionsVersions feed

Stable versions of lambda_calculus

VersionMin Dart SDKUploadedDocumentationArchive
1.3.53.02 years agoGo to the documentation of lambda_calculus 1.3.5Download lambda_calculus 1.3.5 archive
1.3.43.02 years agoGo to the documentation of lambda_calculus 1.3.4Download lambda_calculus 1.3.4 archive
1.3.33.02 years agoDownload lambda_calculus 1.3.3 archive
1.3.23.02 years agoDownload lambda_calculus 1.3.2 archive
1.3.03.02 years agoDownload lambda_calculus 1.3.0 archive
1.2.03.02 years agoDownload lambda_calculus 1.2.0 archive
1.1.13.02 years agoDownload lambda_calculus 1.1.1 archive
1.1.03.02 years agoDownload lambda_calculus 1.1.0 archive
1.0.03.02 years agoDownload lambda_calculus 1.0.0 archive

Retracted versions of lambda_calculus

VersionMin Dart SDKUploadedDocumentationArchive
1.3.13.02 years agoDownload lambda_calculus 1.3.1 archive
2
likes
160
points
24
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