church | |||||
---|---|---|---|---|---|
SummaryThis 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. Getting the softwareThe software is available in a tarball here: http://www.alcyone.com/pyos/church/church-latest.tar.gz. The official URL for this Web site is http://www.alcyone.com/pyos/church/. Notation Notations for lambda expressions vary slightly, so it is
instructive to detail the precise notation used by this module.
A variable is expressed with a string of alphanumeric characters,
e.g.,
UsageThe module is intended to be used as a module imported by Python programs; when run as a standalone program it runs some algorithms on some test expressions and prints the results. Doing this is helpful for becoming familiar with the notation used by the module. Known problems
Wish list
LicenseThis code is released under the GPL. If you use this software, I'd like to know about it. Release history
AuthorThis module was written by Erik Max Francis. VersionVersion 1.0a $Date: 2002/07/29 $ $Author: max $
|