Simple lambda prover
MIT License
This is a simple reducer and prover for the untyped lambda calculus.
Get stack
git clone https://github.com/feuerbach/prover.git cd prover stack install
This package is not on hackage.
Start with the demo.
Besides that, see the examples/ directory and
examples/
prover --help
Functional Programming Course
A self-hosting mini Haskell compiler with a mini C runtime.
Dependently Typed Lambda Calculus in Haskell
Combinators for manipulating locally-nameless generalized de Bruijn terms
Applicative lexer
An implementation of "Freer Monads, More Extensible Effects".
Composable probability monads in Haskell.
Convert Haskell source code to Coq source code.
A more flexible mtl
Examples using dependent types for mathematical proofs at the type level
A simple lambda calculus interpreter in Haskell.
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
a simple Haskell program & how I refactored it
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Po...
