PyChurch 1.0a

A simple but full-featured module for exploring lambda calculus

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.

• Author: Erik Max Francis <software at alcyone com>
• Maintainer: Erik Max Francis
• Home Page: http://www.alcyone.com/software/church/
• Download URL: http://www.alcyone.com/software/church/church-latest.tar.gz
• Keywords: lambda calculus, lambda calculi
• License: GPL
• Platform: any
• Categories
  • Development Status :: 5 - Production/Stable
  • Intended Audience :: Developers
  • Intended Audience :: Science/Research
  • License :: OSI Approved :: GNU General Public License (GPL)
  • Operating System :: OS Independent
  • Programming Language :: Python
  • Topic :: Education
  • Topic :: Scientific/Engineering :: Mathematics
  • Topic :: Software Development :: Libraries :: Python Modules
• Package Index Owner: xihr
• DOAP record: PyChurch-1.0a.xml