PyChurch 1.0a
Latest version
Released:
A simple but full-featured module for exploring lambda calculus
Navigation
Unverified details
These details have not been verified by PyPIProject links
Meta
- License: GNU General Public License (GPL) (GPL)
- Author: Erik Max Francis
- Tags lambda calculus , lambda calculi
Classifiers
- Development Status
- Intended Audience
- License
- Operating System
- Programming Language
- Topic
Project description
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.
Project details
Unverified details
These details have not been verified by PyPIProject links
Meta
- License: GNU General Public License (GPL) (GPL)
- Author: Erik Max Francis
- Tags lambda calculus , lambda calculi
Classifiers
- Development Status
- Intended Audience
- License
- Operating System
- Programming Language
- Topic