hackage.haskell.org "lambda-calculus" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "lambda-calculus" 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
typerbole 0.0.0.5
Please see README.md5 versions - Latest release: about 9 years ago - 2.19 thousand downloads total - 4 stars on GitHub - 1 maintainer
mikrokosmos 0.8.0
A didactic untyped lambda calculus interpreter.7 versions - Latest release: almost 7 years ago - 4.65 thousand downloads total - 72 stars on GitHub - 1 maintainer
bound-simple 0.2.0.0 💰
An abstraction for representing bound variables. Most of this code has been extracted from bound,...2 versions - Latest release: almost 4 years ago - 1 dependent repositories - 263 downloads total - 1 stars on GitHub - 1 maintainer
ltext 0.1.5
Please see the README on GitHub at https://github.com/ltext/ltext#README18 versions - Latest release: over 1 year ago - 1 dependent package - 18 dependent repositories - 8.51 thousand downloads total - 36 stars on GitHub - 1 maintainer
Related Keywords