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.1.0.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: about 7 years ago
Indexed: about 2 years ago

Readme

Dependencies

array *
base >=4 && <5
containers *
directory *
elsa *
filepath *
json *
megaparsec *
mtl *