Ecosyste.ms: 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.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.6 thousand downloads total - 179 stars on GitHub - 1 maintainer
Related Keywords