Wheelodex » Projects » lambda-calculus

lambda-calculus

View on PyPI — Reverse Dependencies (2)

3.1.0 lambda_calculus-3.1.0-py3-none-any.whl

Wheel Details

Project: lambda-calculus
Version: 3.1.0
Filename: lambda_calculus-3.1.0-py3-none-any.whl
Download: [link]
Size: 30572
MD5: 7917d9307cb218e35e3bb43092665298
SHA256: 40a5dadd3598645c08f1f21d770015000b5cd0aab19f3c341313fe7f8babfa9e
Uploaded: 2024-04-10 12:56:29 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.3
Name: lambda_calculus
Version: 3.1.0
Summary: Implementation of the Lambda calculus
Author-Email: Eric Niklas Wolf <eric_niklas.wolf[at]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
Classifier: Intended Audience :: Education
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Education
Classifier: Topic :: Utilities
Classifier: Typing :: Typed
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 2999 characters]

WHEEL

Wheel-Version: 1.0
Generator: hatchling 1.22.5
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
lambda_calculus/__init__.py sha256=4HEzc-fklHdsxdB5vQY8Goxpay2xomfhpIVG_EEY3y4 340
lambda_calculus/errors.py sha256=WVoIbibq6Ey-nzr99fUdITneGBxR871xnvGKWWhG37E 1185
lambda_calculus/py.typed sha256=rVxfNzv1aKmfThIlRztkUwWiKeYa4XTdtNMh3FV-dGM 25
lambda_calculus/terms/__init__.py sha256=tHVY4J7MaDWqpkOrxgcIqYuKn38drbjIm2lPFdZjhrU 12440
lambda_calculus/terms/abc.py sha256=PyJDArUZM4TzskF7LqPx6luG34ptUawYUChkBlM2az0 510
lambda_calculus/terms/arithmetic.py sha256=0-vvpTvioTfVLiMNt1MazrO28eMZAxHZudzt0IUoel0 2934
lambda_calculus/terms/combinators.py sha256=OXbOKIA1V-7UYpPsx8HW8vA0-07ZtV72-OjXWK8wZgQ 1525
lambda_calculus/terms/logic.py sha256=40tunDbyjQlm6ENse3psuosfJEsp1jR5hZPrEEruisE 1246
lambda_calculus/terms/pairs.py sha256=h1OwLxda7FVxQ0mDYuTVHbJ28WuZPQnus4mIzc8UCUc 1045
lambda_calculus/visitors/__init__.py sha256=jQoqB86o5gBuVbIFaG_-Zhiyk39ttHWqScGn85zSNfU 5033
lambda_calculus/visitors/normalisation.py sha256=EUFaA1xIssJVL7MDAK3IWuLEArk3HdVjSP2lKr9Dz-s 4471
lambda_calculus/visitors/walking.py sha256=01QgvJ-zjhQCF2r7zJQB__49WekGiNEa55JuZoF5v0g 1889
lambda_calculus/visitors/substitution/__init__.py sha256=hBAKMal-mhx4wL0m-TJUEK2ZNwKIvnIXfFgYkf058tk 4326
lambda_calculus/visitors/substitution/checked.py sha256=ZP9lEFyEvNXlJPh6-wXoMC_IK_h3IoLdtjTa-N8DW7o 4445
lambda_calculus/visitors/substitution/renaming.py sha256=4m-OEbOw8ibkUkF7rk-0vpf3WP_44gXjrgSCVE4lvDk 7707
lambda_calculus/visitors/substitution/unsafe.py sha256=aholWL9aBuC_R4BuPRLZr6oodRKSFPrYvCHQZotkFTY 2419
lambda_calculus-3.1.0.dist-info/METADATA sha256=Tk5GxJZlkZLwdZXIkQwTRwaq2z4fepsqzvnzfa_ve60 3790
lambda_calculus-3.1.0.dist-info/WHEEL sha256=as-1oFTWSeWBgyzh0O_qF439xqBe6AbBgt4MfYe5zwY 87
lambda_calculus-3.1.0.dist-info/licenses/LICENSE sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY 35149
lambda_calculus-3.1.0.dist-info/RECORD — —