GitHub repository: robdockins/lambda-shell
Primary language: Haskell
Created: 2015-10-05T00:45:48Z
Description: A REPL for working with terms of the pure, untyped lambda calculus