hackage.haskell.org "reduction" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "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: almost 3 years ago - 1 dependent package - 1 dependent repositories - 4.87 thousand downloads total - 187 stars on GitHub - 1 maintainer
Related Keywords