lambda_calculus
v1.3.5 · BSD-3-CLAUSE License
A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.
#15481 overall androidioswindowslinuxmacosweb
Downloads / 30d
58
as of 2026-05-06
GitHub stars
—
no github URL
Likes
2
on pub.dev
Pub points
160 / 160
perfect score
1-day trend
Monthly downloads, sampled daily at 03:00 UTC 2026-05-06 2026-05-06
Top packages
Other libraries in the same category.