lambda-calculator is an implementation of the untyped call-by-need λ-calculus.