PyChurch

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

Pre-release

This release is a pre-release and may not be stable for production use.

This module allows simple experimentation with the lambda calculus, first developed by Church. It understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated by expression by means of application.