lambda-calculator (hackage): A simple implementation of the untyped lambda calculus
Keywords: lambdacalculus|language|library|mit|program|teaching