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.
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 |