lambda_calculus
A library for lambda calculus. It supports parsing and evaluating lambda terms with different strategies. It also has preliminary support for type inference.
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter by Kind
Links
| Registry | pub.dev |
| Source | Repository |
| Docs | Documentation |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:pub/lambda_calculus
spec |
| License | BSD-3-Clause |
| First Release | over 2 years ago |
| Last Synced | 1 day ago |
Repository
| Stars | 2 on GitHub |
| Forks | 0 on GitHub |