lambda-calculus 3.0.0__tar.gz → 3.1.1__tar.gz

lambda_calculus-3.1.1/.gitignore

@@ -0,0 +1,226 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[codz]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#   Usually these files are written by a python script from a template
+#   before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py.cover
+*.lcov
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+# Pipfile.lock
+
+# uv
+#   Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+# uv.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+# poetry.lock
+# poetry.toml
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#   pdm recommends including project-wide configuration in pdm.toml, but excluding .pdm-python.
+#   https://pdm-project.org/en/latest/usage/project/#working-with-version-control
+# pdm.lock
+# pdm.toml
+.pdm-python
+.pdm-build/
+
+# pixi
+#   Similar to Pipfile.lock, it is generally recommended to include pixi.lock in version control.
+# pixi.lock
+#   Pixi creates a virtual environment in the .pixi directory, just like venv module creates one
+#   in the .venv directory. It is recommended not to include this directory in version control.
+.pixi/*
+!.pixi/config.toml
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule*
+celerybeat.pid
+
+# Redis
+*.rdb
+*.aof
+*.pid
+
+# RabbitMQ
+mnesia/
+rabbitmq/
+rabbitmq-data/
+
+# ActiveMQ
+activemq-data/
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.envrc
+.venv
+.direnv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs/Zensical documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+.mypy_reports/
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#   JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#   be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#   and can be added to the global gitignore or merged into this file.  For a more nuclear
+#   option (not recommended) you can uncomment the following to ignore the entire idea folder.
+# .idea/
+
+# Abstra
+#   Abstra is an AI-powered process automation framework.
+#   Ignore directories containing user credentials, local state, and settings.
+#   Learn more at https://abstra.io/docs
+.abstra/
+
+# Visual Studio Code
+#   Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore that
+#   can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
+#   and can be added to the global gitignore or merged into this file. However, if you prefer, you
+#   could uncomment the following to ignore the entire vscode folder
+.vscode/
+# Temporary file for partial code execution
+tempCodeRunnerFile.py
+
+# Ruff stuff:
+.ruff_cache/
+.ruff_defaults.toml
+
+# PyPI configuration file
+.pypirc
+
+# Marimo
+marimo/_static/
+marimo/_lsp/
+__marimo__/
+
+# Streamlit
+.streamlit/secrets.toml
+
+# hatch-vcs
+src/*/_version.py

lambda_calculus-3.1.1/.readthedocs.yaml

@@ -0,0 +1,20 @@
+version: 2
+
+build:
+  os: "ubuntu-26.04"
+  tools:
+    python: "3.14"
+
+formats:
+  - pdf
+  - epub
+
+sphinx:
+  configuration: docs/conf.py
+  fail_on_warning: true
+
+python:
+  install:
+    - requirements: docs/requirements.txt
+    - method: pip
+      path: .

{lambda_calculus-3.0.0 → lambda_calculus-3.1.1}/PKG-INFO

@@ -1,11 +1,12 @@
-Metadata-Version: 2.1
+Metadata-Version: 2.5
 Name: lambda_calculus
-Version: 3.0.0
+Version: 3.1.1
 Summary: Implementation of the Lambda calculus
-Author-email: Eric Niklas Wolf <eric_niklas.wolf@mailbox.tu-dresden.de>
 Project-URL: Repository, https://github.com/Deric-W/lambda_calculus
 Project-URL: Documentation, http://lambda-calculus.readthedocs.io/
 Project-URL: Bugtracker, https://github.com/Deric-W/lambda_calculus/issues
+Author-email: Eric Niklas Wolf <eric_niklas.wolf@mailbox.tu-dresden.de>
+License-File: LICENSE
 Classifier: Intended Audience :: Education
 Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
 Classifier: Operating System :: OS Independent
@@ -13,13 +14,13 @@ Classifier: Programming Language :: Python :: 3 :: Only
 Classifier: Topic :: Education
 Classifier: Topic :: Utilities
 Classifier: Typing :: Typed
-Requires-Python: >=3.10
+Requires-Python: >=3.11
 Description-Content-Type: text/markdown
-License-File: LICENSE
 
 # lambda_calculus
 
-![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Tests.yaml/badge.svg)
+[![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg)](https://github.com/pypa/hatch)
+![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Test.yaml/badge.svg)
 [![codecov](https://codecov.io/gh/Deric-W/lambda_calculus/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_calculus)
 [![Documentation Status](https://readthedocs.org/projects/lambda-calculus/badge/?version=stable)](https://lambda-calculus.readthedocs.io/en/stable/?badge=stable)
 
@@ -111,4 +112,4 @@ assert BetaNormalisingVisitor().skip_intermediate(term) == Application.with_argu
     Variable("+"),
     (Variable("4"), Variable("3"))
 )
-```
+```

{lambda_calculus-3.0.0 → lambda_calculus-3.1.1}/README.md

@@ -1,6 +1,7 @@
 # lambda_calculus
 
-![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Tests.yaml/badge.svg)
+[![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg)](https://github.com/pypa/hatch)
+![Tests](https://github.com/Deric-W/lambda_calculus/actions/workflows/Test.yaml/badge.svg)
 [![codecov](https://codecov.io/gh/Deric-W/lambda_calculus/branch/main/graph/badge.svg?token=SU3982mC17)](https://codecov.io/gh/Deric-W/lambda_calculus)
 [![Documentation Status](https://readthedocs.org/projects/lambda-calculus/badge/?version=stable)](https://lambda-calculus.readthedocs.io/en/stable/?badge=stable)
 

lambda_calculus-3.1.1/docs/Makefile

@@ -0,0 +1,20 @@
+# Minimal makefile for Sphinx documentation
+#
+
+# You can set these variables from the command line, and also
+# from the environment for the first two.
+SPHINXOPTS    ?=
+SPHINXBUILD   ?= sphinx-build
+SOURCEDIR     = .
+BUILDDIR      = _build
+
+# Put it first so that "make" without argument is like "make help".
+help:
+	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+.PHONY: help Makefile
+
+# Catch-all target: route all unknown targets to Sphinx using the new
+# "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
+%: Makefile
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

lambda_calculus-3.1.1/docs/api/errors.rst

@@ -0,0 +1,8 @@
+Module errors
+=============
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.errors
+    :members:

lambda_calculus-3.1.1/docs/api/terms/abc.rst

@@ -0,0 +1,8 @@
+Module abc
+==========
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.terms.abc
+    :members:

lambda_calculus-3.1.1/docs/api/terms/arithmetic.rst

@@ -0,0 +1,8 @@
+Module arithmetic
+=================
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.terms.arithmetic
+    :members:

lambda_calculus-3.1.1/docs/api/terms/combinators.rst

@@ -0,0 +1,8 @@
+Module combinators
+==================
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.terms.combinators
+    :members:

lambda_calculus-3.1.1/docs/api/terms/logic.rst

@@ -0,0 +1,8 @@
+Module logic
+============
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.terms.logic
+    :members:

lambda_calculus-3.1.1/docs/api/terms/pairs.rst

@@ -0,0 +1,8 @@
+Module pairs
+============
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.terms.pairs
+    :members:

lambda_calculus-3.1.1/docs/api/terms.rst

@@ -0,0 +1,15 @@
+Package terms
+=============
+
+.. toctree::
+   :maxdepth: 2
+
+   terms/abc
+   terms/logic
+   terms/arithmetic
+   terms/pairs
+   terms/combinators
+
+.. automodule:: lambda_calculus.terms
+    :members:
+    :special-members: __iter__, __str__

lambda_calculus-3.1.1/docs/api/visitors/normalisation.rst

@@ -0,0 +1,8 @@
+Module normalisation
+====================
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.visitors.normalisation
+    :members:

lambda_calculus-3.1.1/docs/api/visitors/substitution/checked.rst

@@ -0,0 +1,8 @@
+Module checked
+==============
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.visitors.substitution.checked
+    :members:

lambda_calculus-3.1.1/docs/api/visitors/substitution/renaming.rst

@@ -0,0 +1,8 @@
+Module renaming
+===============
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.visitors.substitution.renaming
+    :members:

lambda_calculus-3.1.1/docs/api/visitors/substitution/unsafe.rst

@@ -0,0 +1,8 @@
+Module unsafe
+=============
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.visitors.substitution.unsafe
+    :members:

lambda_calculus-3.1.1/docs/api/visitors/substitution.rst

@@ -0,0 +1,12 @@
+Package substitution
+====================
+
+.. toctree::
+   :maxdepth: 2
+
+   substitution/checked
+   substitution/renaming
+   substitution/unsafe
+
+.. automodule:: lambda_calculus.visitors.substitution
+    :members:

lambda_calculus-3.1.1/docs/api/visitors/walking.rst

@@ -0,0 +1,8 @@
+Module walking
+==============
+
+.. toctree::
+   :maxdepth: 2
+
+.. automodule:: lambda_calculus.visitors.walking
+    :members:

lambda_calculus-3.1.1/docs/api/visitors.rst

@@ -0,0 +1,12 @@
+Package visitors
+================
+
+.. toctree::
+   :maxdepth: 2
+
+   visitors/substitution
+   visitors/normalisation
+   visitors/walking
+
+.. automodule:: lambda_calculus.visitors
+    :members:

lambda_calculus-3.1.1/docs/api.rst

@@ -0,0 +1,23 @@
+Package API
+===========
+
+.. toctree::
+   :maxdepth: 2
+
+   api/terms
+   api/visitors
+   api/errors
+
+.. automodule:: lambda_calculus
+
+    .. autoclass:: Variable
+
+        Reference to :class:`.terms.Variable` for convenience
+
+    .. autoclass:: Abstraction
+
+        Reference to :class:`.terms.Abstraction` for convenience
+
+    .. autoclass:: Application
+
+        Reference to :class:`.terms.Application` for convenience

lambda_calculus-3.1.1/docs/conf.py

@@ -0,0 +1,15 @@
+"""Sphinx configuration"""
+
+import os.path
+import sys
+
+from sphinx_pyproject import SphinxConfig
+
+sys.path.append(os.path.abspath(".."))
+
+config = SphinxConfig("../pyproject.toml", globalns=globals())
+
+intersphinx_mapping = {
+    "python": ("https://docs.python.org/3/", None),
+    "sphinx": ("https://www.sphinx-doc.org/en/stable/", None),
+}

lambda_calculus-3.1.1/docs/index.rst

@@ -0,0 +1,25 @@
+lambda_calculus
+===============
+
+Welcome to lambda_calculus`s documentation.
+
+This project implements basic operations of the `Lambda calculus <https://en.wikipedia.org/wiki/Lambda_calculus>`_
+as a python package and contains helpers to define custom ones.
+
+It is intended to be used for educational purposes and is not optimized for speed.
+Furthermore, it expects all terms to be finite, which means the absence of cycles.
+:py:class:`RecursionError` may be raised when using an infinite term or the evaluation is too complex.
+
+.. toctree::
+   :maxdepth: 2
+
+   installation
+   api
+
+
+Indices and tables
+==================
+
+* :ref:`genindex`
+* :ref:`modindex`
+* :ref:`search`

lambda_calculus-3.1.1/docs/installation.rst

@@ -0,0 +1,33 @@
+Installation
+============
+
+.. toctree::
+   :maxdepth: 2
+
+Overview over the most common ways of installing this project.
+
+Installation from PyPI
+----------------------
+
+If you just want to get started or receive updates you can use
+the package available on `PyPI <https://pypi.org/project/lambda-calculus/>`_ and
+install it with the following command:
+
+.. code:: bash
+
+    python3 -m pip install lambda-calculus
+
+`Sematic Versioning <https://semver.org/>`_ is is attempted to be adhered to.
+
+Installation from source
+------------------------
+
+This project adheres to `PEP 517 <https://peps.python.org/pep-0517>`_ and
+can be build using `build <https://pypi.org/project/build/>`_:
+
+.. code:: bash
+
+    python3 -m build
+
+The resulting wheel should be platform and machine independent
+because this is a pure python project.

lambda_calculus-3.1.1/docs/requirements.txt

@@ -0,0 +1,3 @@
+sphinx ~= 9.1.0
+sphinx-pyproject ~= 0.3.0
+sphinx-rtd-theme ~= 3.1.0