lambdaft a tutorial around a daft lambda calculus with a recent-ish cabal: cabal repl otherwise: ghci Lam.hs