crates.io : lambdascript
Instructional program detailing the beta reduction of typed and untyped lambda terms
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:cargo/lambdascript
Keywords:
beta-reduction
, education
, lambda
, lambda-calculus
License: MIT
Latest release: about 1 year ago
First release: about 4 years ago
Downloads: 22,325 total
Stars: 4 on GitHub
Forks: 0 on GitHub
Total Commits: 21
Committers: 4
Average commits per author: 5.25
Development Distribution Score (DDS): 0.143
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 17 days ago