lambda_calculus 1.3.2 lambda_calculus: ^1.3.2 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.