Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "reduction" keyword

elsa 0.3.0.0
elsa is a small proof checker for verifying sequences of reductions of lambda-calculus terms. The...
9 versions - Latest release: 6 months ago - 1 dependent package - 1 dependent repositories - 4.99 thousand downloads total - 189 stars on GitHub - 1 maintainer
Related Keywords
language 1 library 1 mit 1 program 1 Propose Tags 1 haskell 1 haskell-learning 1 lambda-calculus 1