pychurch (pypi): A simple but full-featured module for exploring lambda calculus
Keywords: lambda|calculus|calculi