lc (pypi): Beta reducer and shorthand representer for the λ-calculus
Keywords: lambda|calculus|teaching|lambda-calculus