Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : elsa
elsa is a small proof checker for verifying sequences of reductions of lambda-calculus terms. The goal is to help students build up intuition about lambda-terms, alpha-equivalence, beta-reduction, and in general, the notion of computation by substitution.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/elsa
Keywords: language, library, mit, program, haskell, haskell-learning, lambda-calculus, reduction
License: MIT
Latest release: over 1 year ago
First release: about 7 years ago
Dependent packages: 1
Dependent repositories: 1
Downloads: 4,628 total
Stars: 179 on GitHub
Forks: 21 on GitHub
Total Commits: 62
Committers: 8
Average commits per author: 7.75
Development Distribution Score (DDS): 0.274
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 12 days ago
elsa 0.2.2.0
elsa is a small proof checker for verifying sequences of reductions of lambda-calculus terms. The...8 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 4.63 thousand downloads total - 179 stars on GitHub - 1 maintainer