Church

Church
All Links

Share this:

Details of Church

About Church
Church- Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python.
Meetings