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 : 0.2.2.0
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 -
Download -
JSON
purl: pkg:hackage/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- ansi-terminal *
- array *
- base >=4 && <5
- dequeue *
- directory *
- elsa *
- filepath *
- hashable *
- json *
- megaparsec >=7.0.4
- mtl *
- unordered-containers *