{ "info": { "author": "Erik Max Francis", "author_email": "software@alcyone.com", "bugtrack_url": null, "classifiers": [ "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" ], "description": "This module allows simple experimentation with the lambda\r\ncalculus, first developed by Church. It understands the different\r\ntypes of lambda expressions, can extract lists of variables (both\r\nfree and bound) and subterms, and can simplify complicated by\r\nexpression by means of application.", "description_content_type": null, "docs_url": null, "download_url": "http://www.alcyone.com/software/church/church-latest.tar.gz", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "http://www.alcyone.com/software/church/", "keywords": "lambda calculus, lambda calculi", "license": "GPL", "maintainer": "", "maintainer_email": "", "name": "PyChurch", "package_url": "https://pypi.org/project/PyChurch/", "platform": "any", "project_url": "https://pypi.org/project/PyChurch/", "project_urls": { "Download": "http://www.alcyone.com/software/church/church-latest.tar.gz", "Homepage": "http://www.alcyone.com/software/church/" }, "release_url": "https://pypi.org/project/PyChurch/1.0a/", "requires_dist": null, "requires_python": null, "summary": "A simple but full-featured module for exploring lambda calculus", "version": "1.0a" }, "last_serial": 944166, "releases": { "1.0a": [] }, "urls": [] }