lambda_calculus 1.3.0 
lambda_calculus: ^1.3.0 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.
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. It also has preliminary support for type inference.
Repository (GitHub)
View/report issues
License
unknown (license)
