Haskell implementation of the lambda calculi covered in the Types and Programming Languages book. Work in progress.

The following command will spawn a warp server on port 8080, with a lambda calculus interpreter. NOTE: it doesn't work in Firefox, apparently because of a JSaddle bug.

nix-shell --run reload

nix-build -A release

> \x.x
\x.x
> \t.\f.t
\t.\f.t
> (\t.\f.\t) (\x.x) (\x.x x)
\x.x

I'm also making a browser version of my untyped lambda calculus repl, it can be found here. It corresponds to the browser branch of this project.