lambda_calculus 1.3.5 copy "lambda_calculus: ^1.3.5" to clipboard
lambda_calculus: ^1.3.5 copied to clipboard

Published 9 months ago Dart 3 compatible
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSwebWindows
→

Metadata

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

More...

Stable versions of lambda_calculus

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

Retracted versions of lambda_calculus

VersionMin Dart SDKUploadedDocumentationArchive
1.3.1Null safety3.010 months agoDownload lambda_calculus 1.3.1 archive

← Metadata

2
likes
160
pub points
0%
popularity

Publisher

unverified uploader

Metadata

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

Back