lambda_calculus 1.1.1 
lambda_calculus: ^1.1.1 copied to clipboard
A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies, with some built-in Church encodings and combinators. It also has preliminary support for type [...]
2
likes
-/ -
pub points
0%
popularity
This package version is not analyzed. Check the latest stable version for its analysis.
Check the analysis log for details.
Metadata
2
likes
0
pub points
0%
popularity
Publisher
unverified uploader
Metadata
A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies, with some built-in Church encodings and combinators. It also has preliminary support for type inference.
Repository (GitHub)
View/report issues
License
unknown (license)
