lambda_calculus/__init__.py,sha256=3HKs8A5Q6Zzeczw8_dYud9k2_7rl3ZQuAlmNZhlSVxs,328
lambda_calculus/_version.py,sha256=k1ghxJGi4HKgNdpXPC9OF7bzYWqs9LSoZg2gxuX7CBw,520
lambda_calculus/errors.py,sha256=pYCBVVAGW3pLFhLPoK2DPxwH_uHvfYt1XBOBHld9Pgk,1160
lambda_calculus/py.typed,sha256=rVxfNzv1aKmfThIlRztkUwWiKeYa4XTdtNMh3FV-dGM,25
lambda_calculus/terms/__init__.py,sha256=VqHvhpdEE4YgEJFa3eNShqxKST_f4XFwRLbdVOQ-Aws,12592
lambda_calculus/terms/abc.py,sha256=CFqXmYDHhTmS1Kj5y_fYHeOVVb_QvccOuwmL2YLWU9Q,510
lambda_calculus/terms/arithmetic.py,sha256=S936Bnx0j-MmQ7UPiYwwQ62EM1xh8d1EQhGkxbf9bzg,2498
lambda_calculus/terms/combinators.py,sha256=fJf5qspxfqpq4InoWmzUszKhJXdNVdH-v7QtiykZdNs,1431
lambda_calculus/terms/logic.py,sha256=bHYlEa_xPRuQ7AQJHpvnRufgzPSso-vuaZOiv00A5Hg,1189
lambda_calculus/terms/pairs.py,sha256=NNo4ZMD2B3NxBFCXMDEf5WZZ_iavt9_S96LZyIwG7aU,912
lambda_calculus/visitors/__init__.py,sha256=YVkWjbwDcjSscpImnJDPsbUgM8qJHvzJRh2J3Zwtvu0,4986
lambda_calculus/visitors/normalisation.py,sha256=Dg8Ya94xx2IJGY6Iz2yjiEahgQGHVY72VDTfuLgGwK0,4501
lambda_calculus/visitors/walking.py,sha256=FpP5nUQN0ESCLPV8Sp0LDYs9TBsCgEsdCse2HwAkq4o,1850
lambda_calculus/visitors/substitution/__init__.py,sha256=icDL4fpPAJUxmoIFVHSivFYVW4e-SczTZvyHQ_xfs4E,4265
lambda_calculus/visitors/substitution/checked.py,sha256=wYjBsN-31B4GKQcw7oHmN3INQ8TZVabOPZDDo00-f5c,4366
lambda_calculus/visitors/substitution/renaming.py,sha256=nz_uvaaZ_0nIM-lY3bn2IeRLF23B-YRYk5-5XHuNomc,7774
lambda_calculus/visitors/substitution/unsafe.py,sha256=jQd7u0mhGWf2AmXBJoveydkrSomhP_xlZIWAV4rbfDM,2390
lambda_calculus-3.1.1.dist-info/METADATA,sha256=dbZf8u2QovhHpfjFVExfoPbP-2F0OgsxtuEESO82fkg,3789
lambda_calculus-3.1.1.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
lambda_calculus-3.1.1.dist-info/licenses/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
lambda_calculus-3.1.1.dist-info/RECORD,,
