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.3.0.0
elsa is a small proof checker for verifying sequences of reductions of lambda-calculus terms. The...9 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 4.94 thousand downloads total - 189 stars on GitHub - 1 maintainer
mikrokosmos 0.8.0
A didactic untyped lambda calculus interpreter.7 versions - Latest release: over 7 years ago - 4.71 thousand downloads total - 73 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: over 4 years ago - 1 dependent repositories - 288 downloads total - 1 stars on GitHub - 1 maintainer
typerbole 0.0.0.5
Please see README.md5 versions - Latest release: over 9 years ago - 2.23 thousand downloads total - 4 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: about 2 years ago - 1 dependent package - 18 dependent repositories - 8.62 thousand downloads total - 36 stars on GitHub - 1 maintainer
Related Keywords