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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (58) hide show
  1. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/PKG-INFO +1 -1
  2. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/conf.py +5 -1
  3. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/_version.py +2 -2
  4. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/.gitignore +0 -0
  5. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/.readthedocs.yaml +0 -0
  6. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/LICENSE +0 -0
  7. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/README.md +0 -0
  8. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/Makefile +0 -0
  9. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/errors.rst +0 -0
  10. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/terms/abc.rst +0 -0
  11. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/terms/arithmetic.rst +0 -0
  12. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/terms/combinators.rst +0 -0
  13. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/terms/logic.rst +0 -0
  14. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/terms/pairs.rst +0 -0
  15. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/terms.rst +0 -0
  16. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/visitors/normalisation.rst +0 -0
  17. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/visitors/substitution/checked.rst +0 -0
  18. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/visitors/substitution/renaming.rst +0 -0
  19. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/visitors/substitution/unsafe.rst +0 -0
  20. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/visitors/substitution.rst +0 -0
  21. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/visitors/walking.rst +0 -0
  22. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api/visitors.rst +0 -0
  23. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/api.rst +0 -0
  24. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/index.rst +0 -0
  25. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/installation.rst +0 -0
  26. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/requirements.txt +0 -0
  27. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/pyproject.toml +0 -0
  28. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/__init__.py +0 -0
  29. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/errors.py +0 -0
  30. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/py.typed +0 -0
  31. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/terms/__init__.py +0 -0
  32. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/terms/abc.py +0 -0
  33. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/terms/arithmetic.py +0 -0
  34. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/terms/combinators.py +0 -0
  35. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/terms/logic.py +0 -0
  36. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/terms/pairs.py +0 -0
  37. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/visitors/__init__.py +0 -0
  38. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/visitors/normalisation.py +0 -0
  39. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/visitors/substitution/__init__.py +0 -0
  40. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/visitors/substitution/checked.py +0 -0
  41. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/visitors/substitution/renaming.py +0 -0
  42. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/visitors/substitution/unsafe.py +0 -0
  43. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/visitors/walking.py +0 -0
  44. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/__init__.py +0 -0
  45. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/terms/__init__.py +0 -0
  46. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/terms/test_abc.py +0 -0
  47. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/terms/test_arithmetic.py +0 -0
  48. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/terms/test_combinators.py +0 -0
  49. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/terms/test_logic.py +0 -0
  50. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/terms/test_pairs.py +0 -0
  51. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/test_errors.py +0 -0
  52. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/test_readme.py +0 -0
  53. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/visitors/__init__.py +0 -0
  54. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/visitors/substitution/__init__.py +0 -0
  55. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/visitors/substitution/test_checked.py +0 -0
  56. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/visitors/substitution/test_renaming.py +0 -0
  57. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/visitors/test_normalisation.py +0 -0
  58. {lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/tests/visitors/test_walking.py +0 -0
{lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.5
2
2
  Name: lambda_calculus
3
- Version: 3.1.1
3
+ Version: 3.1.2
4
4
  Summary: Implementation of the Lambda calculus
5
5
  Project-URL: Repository, https://github.com/Deric-W/lambda_calculus
6
6
  Project-URL: Documentation, http://lambda-calculus.readthedocs.io/
{lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/docs/conf.py RENAMED
@@ -5,9 +5,13 @@ import sys
5
5
 
6
6
  from sphinx_pyproject import SphinxConfig
7
7
 
8
+ from lambda_calculus import __version__ as version
9
+
8
10
  sys.path.append(os.path.abspath(".."))
9
11
 
10
- config = SphinxConfig("../pyproject.toml", globalns=globals())
12
+ config = SphinxConfig(
13
+ "../pyproject.toml", globalns=globals(), config_overrides={"version": version}
14
+ )
11
15
 
12
16
  intersphinx_mapping = {
13
17
  "python": ("https://docs.python.org/3/", None),
{lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/src/lambda_calculus/_version.py RENAMED
@@ -18,7 +18,7 @@ version_tuple: tuple[int | str, ...]
18
18
  commit_id: str | None
19
19
  __commit_id__: str | None
20
20
 
21
- __version__ = version = '3.1.1'
22
- __version_tuple__ = version_tuple = (3, 1, 1)
21
+ __version__ = version = '3.1.2'
22
+ __version_tuple__ = version_tuple = (3, 1, 2)
23
23
 
24
24
  __commit_id__ = commit_id = None
{lambda_calculus-3.1.1 → lambda_calculus-3.1.2}/LICENSE RENAMED
File without changes