{
    "info": {
        "author": "Luke Smith",
        "author_email": "lsmith@zenoscave.com",
        "bugtrack_url": null,
        "classifiers": [
            "Development Status :: 4 - Beta",
            "License :: OSI Approved :: BSD License",
            "Operating System :: MacOS :: MacOS X",
            "Operating System :: Microsoft :: Windows :: Windows 7",
            "Operating System :: POSIX :: Linux",
            "Programming Language :: Python :: 2.7",
            "Programming Language :: Python :: 3",
            "Programming Language :: Python :: 3.4"
        ],
        "description": "CHURCH-REPL\n===========\n\nA simple REPL for lambda calculus\n\n.. image:: https://travis-ci.org/CodeGrimoire/ChurchREPL.svg?branch=master\n    :target: https://travis-ci.org/CodeGrimoire/ChurchREPL\n\nUse:\n----\nwhen calling churchrepl and new REPL will be opened.\n\n.. code-block::\n\n    churchrepl [-f --file file [file ...]] [-v --verbose]\n\nFlags:\n\n(optional) Read definitions and expressions from a file before loading the normal REPL.\n\n.. code-block::\n    \n    -f|--file file [file ...]\n\n\n(optional) print debugging and verbose output.\n\n.. code-block::\n    \n    -v|--verbose\n\n\nChurch repl file structure:\n---------------------------\n\nThe EBNF grammar is as follows*:\n\n::\n\n   (* church-lambda EBNF *)\n                     (* --- meta --- *)\n    program = {line};\n    line = (define | function);\n    define = \"@\" alias \":\" function;\n\n                     (* --- lambdas --- *)\n    function = lambda | application;\n    lambda = \"\u03bb\" variable \".\" expr;\n    application = '(' expr  expr ')';\n    expr = (lambda | application | variable | alias );\n\n                     (* --- primitives --- *)\n    variable = /[a-z]/;\n    alias = /[_A-Z][_A-Z0-9]*/;\n\nA simple example program:\n\n::\n\n    @ID: \u03bbx.x\n    @APPLY: \u03bbf.\u03bbx.(f x)\n    @TRUE: \u03bbx.\u03bby.x\n    @FALSE: \u03bbx.\u03bby.y\n    @ZERO: \u03bbf.\u03bbx.x\n    @SUCC: \u03bbn.\u03bbf.\u03bbx.(f ((n f) x))\n    @ONE: (SUCC ZERO)\n    @TWO: (SUCC ONE)\n    @THREE: (SUCC TWO)\n    @FOUR: (SUCC THREE)\n    (SUCC ZERO)\n    (SUCC ONE)\n    (SUCC TWO)\n    (SUCC THREE)\n    (SUCC FOUR)\n\nNote: The \u03bb (lambda, unicode u03bb) is equivalent to a backslash as far as this program is concerned.\nWhen using the repl it may be easier to use a backslash.",
        "description_content_type": null,
        "docs_url": null,
        "download_url": "UNKNOWN",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/CodeGrimoire/ChurchREPL",
        "keywords": null,
        "license": "BSD",
        "maintainer": null,
        "maintainer_email": null,
        "name": "churchrepl",
        "package_url": "https://pypi.org/project/churchrepl/",
        "platform": "UNKNOWN",
        "project_url": "https://pypi.org/project/churchrepl/",
        "project_urls": {
            "Download": "UNKNOWN",
            "Homepage": "https://github.com/CodeGrimoire/ChurchREPL"
        },
        "release_url": "https://pypi.org/project/churchrepl/1.0.2/",
        "requires_dist": null,
        "requires_python": null,
        "summary": "A simple REPL for lambda calculus",
        "version": "1.0.2"
    },
    "last_serial": 2565985,
    "releases": {
        "0.1.10": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "b8f7dab68ba5bc7ceb5dc2ff35529b23",
                    "sha256": "e7da935bb56c531636724aa97ebe562f29fa980fffabd377ea839bd0016ff20d"
                },
                "downloads": -1,
                "filename": "churchrepl-0.1.10.tar.gz",
                "has_sig": false,
                "md5_digest": "b8f7dab68ba5bc7ceb5dc2ff35529b23",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 7218,
                "upload_time": "2016-06-10T00:40:28",
                "url": "https://files.pythonhosted.org/packages/7e/0f/212118346d8f12dd270ace1ee50701cdf78ef72dbbaf8016aae186a16dec/churchrepl-0.1.10.tar.gz"
            }
        ],
        "0.1.6": [],
        "0.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "51e2e544eb9441a463ff569a5e64cfe5",
                    "sha256": "805a6f79745ba29455906ea18c45aea19f03eaad694a606c5feddb990b2b8b36"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "51e2e544eb9441a463ff569a5e64cfe5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 6500,
                "upload_time": "2016-06-14T16:44:24",
                "url": "https://files.pythonhosted.org/packages/d3/79/12451d83ed65cd4818583c2614a2920cde071293db28d89deb1fb3b236b9/churchrepl-0.2.0.tar.gz"
            }
        ],
        "0.2.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "118930d88d1c5226c524e3278bc9cef7",
                    "sha256": "fe7f75383b40b4636bce5aae867f80df1462d2d38b7f554a37f7521ec199720e"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.1.tar.gz",
                "has_sig": false,
                "md5_digest": "118930d88d1c5226c524e3278bc9cef7",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 6708,
                "upload_time": "2016-06-14T18:50:47",
                "url": "https://files.pythonhosted.org/packages/b2/4e/a7d150db98621795cbfa3a1451da5745bbf2eb2fb51270aceee937565fd2/churchrepl-0.2.1.tar.gz"
            }
        ],
        "0.2.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f5658d03209c20425965534b50b44979",
                    "sha256": "525e93e4b9c8da233f8458b0f9de7c1e2ae56b8680627f4bb5e7374b0d482bcb"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.2.tar.gz",
                "has_sig": false,
                "md5_digest": "f5658d03209c20425965534b50b44979",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 6717,
                "upload_time": "2016-06-16T17:53:28",
                "url": "https://files.pythonhosted.org/packages/33/12/10636d2b7861a5cc748ce1890f6a8ac0fc957dbb4f62f2ee51877ca8f4d3/churchrepl-0.2.2.tar.gz"
            }
        ],
        "0.2.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "381d546c5d652ca9d2315865bb0664aa",
                    "sha256": "3d33f5ec9185a6d333283735c0404a52a6e6166627056c1abec9f44fad5a2dbd"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.3.tar.gz",
                "has_sig": false,
                "md5_digest": "381d546c5d652ca9d2315865bb0664aa",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 6853,
                "upload_time": "2016-06-18T18:07:45",
                "url": "https://files.pythonhosted.org/packages/35/ee/790a50653e20de85ab7e2ad56f8758b65b2983c406994405d44e4c7de311/churchrepl-0.2.3.tar.gz"
            }
        ],
        "0.2.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "45e9eb9b1f7ceba1ed8362f06cf78ecc",
                    "sha256": "1615f4238b60ff64a1cb277fe6710a8dca029e5e76e70682b05ae3f0a65de085"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.4-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "45e9eb9b1f7ceba1ed8362f06cf78ecc",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 9334,
                "upload_time": "2016-06-23T18:49:38",
                "url": "https://files.pythonhosted.org/packages/20/f0/d2bc725d5aa4369032d0b66b89ab7fab52b65020ecf5eb244fa2ab8b0116/churchrepl-0.2.4-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "4b5005fe132ab194b57daad2e5a07362",
                    "sha256": "7f9518f249f1b22c7bebe2f0cb3c8e495986694a22566e3ec2d0a455b4925984"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.4.tar.gz",
                "has_sig": false,
                "md5_digest": "4b5005fe132ab194b57daad2e5a07362",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 7064,
                "upload_time": "2016-06-23T18:49:33",
                "url": "https://files.pythonhosted.org/packages/44/ae/47eaa6fa97a43c52e1425fac730e02c2a202285d2b54a2a408984a1dae76/churchrepl-0.2.4.tar.gz"
            }
        ],
        "0.2.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "5e7146a1145bc3ee29b56854b9b481f8",
                    "sha256": "ec63cee1f79bbb2a1cd73c55c1199aeb4bafb53d6c2a47e19bca1ed6ddd6dcc1"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.5-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "5e7146a1145bc3ee29b56854b9b481f8",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 9296,
                "upload_time": "2016-06-23T18:56:25",
                "url": "https://files.pythonhosted.org/packages/73/ef/3aa0ae933928f165ce5940792d22c9dbbf0c4f5f47c466734f85f6f8525d/churchrepl-0.2.5-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1fd63656553126e20c49642f1175cb30",
                    "sha256": "894d0abca95637926ec9425437da0b3f583623b8cd6e4b196dfca845ea0041fe"
                },
                "downloads": -1,
                "filename": "churchrepl-0.2.5.tar.gz",
                "has_sig": false,
                "md5_digest": "1fd63656553126e20c49642f1175cb30",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 7038,
                "upload_time": "2016-06-23T18:56:20",
                "url": "https://files.pythonhosted.org/packages/cf/e6/7d3ed0fa89d26fab8f5e2a7c4e03d0cb3b0c4e76214380609f765bdd6b68/churchrepl-0.2.5.tar.gz"
            }
        ],
        "1.0.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "a8eabfa1c9f4925ad0823ef10951017a",
                    "sha256": "c9896ffb0b530803c360ebb101f466a3efcb020278e97428df11de999439c04c"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.0-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "a8eabfa1c9f4925ad0823ef10951017a",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 9334,
                "upload_time": "2016-06-26T15:59:30",
                "url": "https://files.pythonhosted.org/packages/28/86/1b3c33e9721f9a87ad68020629102a4daeac201af4a54b4d44fc9831e02f/churchrepl-1.0.0-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "5f6b4bcbca79005fde8dbef93b095ae5",
                    "sha256": "6327e887292fb3bf0fce04897e7140683e13ad511522509cb44b2151656cc10c"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.0.tar.gz",
                "has_sig": false,
                "md5_digest": "5f6b4bcbca79005fde8dbef93b095ae5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 7011,
                "upload_time": "2016-06-26T15:59:26",
                "url": "https://files.pythonhosted.org/packages/f8/79/68375eca1e46e01956056bfbe1c06116ebb47138cea7ff67f3011a987229/churchrepl-1.0.0.tar.gz"
            }
        ],
        "1.0.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "1585b62f814d06fbc36658acc212d51b",
                    "sha256": "6f34389d136ce0e73927a54122c1333f1b53ee08e8cb077bca0d080d8c41b6af"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "1585b62f814d06fbc36658acc212d51b",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 9810,
                "upload_time": "2016-06-28T03:18:58",
                "url": "https://files.pythonhosted.org/packages/f4/41/589e6911b252fa6334c79597a6fff8a2c3b1b153b63304704d8e0f13eaaa/churchrepl-1.0.1-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "ae59a16fbe1acdcadce0e52a74640932",
                    "sha256": "d9716b4acedbdab57eae1bb6c392c031c9c2d0e0df7ea7ae0a854da51614c0bc"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.1.tar.gz",
                "has_sig": false,
                "md5_digest": "ae59a16fbe1acdcadce0e52a74640932",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 6997,
                "upload_time": "2016-06-28T03:18:54",
                "url": "https://files.pythonhosted.org/packages/5c/c5/4a08ff7d9da24842143da17db95d205c31edbe2946245c4f0fc9a263179c/churchrepl-1.0.1.tar.gz"
            }
        ],
        "1.0.1.post1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "39f4d8f2c9f2c320651f356591cb6322",
                    "sha256": "d4f27a18c3df0bbef3d9238af84c71971a7d1d9aa4fb9d5aa984c5bd78863776"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.1.post1-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "39f4d8f2c9f2c320651f356591cb6322",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 9908,
                "upload_time": "2016-06-28T03:30:32",
                "url": "https://files.pythonhosted.org/packages/82/08/1af4d2802085d03b6bf06f550d59b415ebaf0928f89263b80a6d738bcb1f/churchrepl-1.0.1.post1-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "bb561ba0685841b2d6e2fe161312e4e1",
                    "sha256": "41fbac9e1133dad5c4d9f337d7fdf61be8c2476f19afbe334dee90e7b09ef7cf"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.1.post1.tar.gz",
                "has_sig": false,
                "md5_digest": "bb561ba0685841b2d6e2fe161312e4e1",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 7026,
                "upload_time": "2016-06-28T03:30:29",
                "url": "https://files.pythonhosted.org/packages/a5/9b/eb658abe733c3ab292d6250f17a01cf40118b224784e08b93b4884d6ed87/churchrepl-1.0.1.post1.tar.gz"
            }
        ],
        "1.0.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "3f79f925bf5393cd25a8ddeab18fbf63",
                    "sha256": "5319b8d84751076363b1d676967a2bb789997fce21fb8a61f01e20c426b817b5"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.2-py2.py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "3f79f925bf5393cd25a8ddeab18fbf63",
                "packagetype": "bdist_wheel",
                "python_version": "2.7",
                "requires_python": null,
                "size": 9107,
                "upload_time": "2016-06-28T14:39:06",
                "url": "https://files.pythonhosted.org/packages/1b/97/c90f01b3638b285e84a284c378cdb2ce71008fec4f235cf00baa6a2cf25b/churchrepl-1.0.2-py2.py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "1143506103cf0344b7246ceed2deb1b6",
                    "sha256": "3c19a84535e961ee88e01b462557c6e20ad2cf714b141567cedbe646e2562d93"
                },
                "downloads": -1,
                "filename": "churchrepl-1.0.2.tar.gz",
                "has_sig": false,
                "md5_digest": "1143506103cf0344b7246ceed2deb1b6",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 7036,
                "upload_time": "2016-06-28T14:39:01",
                "url": "https://files.pythonhosted.org/packages/70/f4/944c1b9812265b4d7af14f7e837c4fe65bdbd8ad862a9f8d57729c078417/churchrepl-1.0.2.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "3f79f925bf5393cd25a8ddeab18fbf63",
                "sha256": "5319b8d84751076363b1d676967a2bb789997fce21fb8a61f01e20c426b817b5"
            },
            "downloads": -1,
            "filename": "churchrepl-1.0.2-py2.py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "3f79f925bf5393cd25a8ddeab18fbf63",
            "packagetype": "bdist_wheel",
            "python_version": "2.7",
            "requires_python": null,
            "size": 9107,
            "upload_time": "2016-06-28T14:39:06",
            "url": "https://files.pythonhosted.org/packages/1b/97/c90f01b3638b285e84a284c378cdb2ce71008fec4f235cf00baa6a2cf25b/churchrepl-1.0.2-py2.py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "1143506103cf0344b7246ceed2deb1b6",
                "sha256": "3c19a84535e961ee88e01b462557c6e20ad2cf714b141567cedbe646e2562d93"
            },
            "downloads": -1,
            "filename": "churchrepl-1.0.2.tar.gz",
            "has_sig": false,
            "md5_digest": "1143506103cf0344b7246ceed2deb1b6",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 7036,
            "upload_time": "2016-06-28T14:39:01",
            "url": "https://files.pythonhosted.org/packages/70/f4/944c1b9812265b4d7af14f7e837c4fe65bdbd8ad862a9f8d57729c078417/churchrepl-1.0.2.tar.gz"
        }
    ]
}