lambda_calculus/__init__.py,sha256=nHM-N0HiMn51RfM2W7MnpN2egCgPFF_QB-Dl5zOdoZc,340
lambda_calculus/errors.py,sha256=WVoIbibq6Ey-nzr99fUdITneGBxR871xnvGKWWhG37E,1185
lambda_calculus/py.typed,sha256=rVxfNzv1aKmfThIlRztkUwWiKeYa4XTdtNMh3FV-dGM,25
lambda_calculus/terms/__init__.py,sha256=QO2CUqvxDOOS_wGF0YYk7wj8LH85N6Ovgk-K0x631zY,12546
lambda_calculus/terms/arithmetic.py,sha256=wSAgtl58u5LimyD9s5FPIuCmjcvRdZXPE4wnDh59nT8,2860
lambda_calculus/terms/combinators.py,sha256=cjIeKxgaSLOgmozEIU_Umr5QqgQQ6o7IsGlROD-uY_U,1437
lambda_calculus/terms/logic.py,sha256=P397XB-Yjqc4kwjctbNzE1P1F6SCSkngCKAFkKrpT3U,1179
lambda_calculus/terms/pairs.py,sha256=azxo3jtbhh7cyRLa8QU6VF96GEb6IZWQ5gr1hO_IDeQ,985
lambda_calculus/visitors/__init__.py,sha256=jQoqB86o5gBuVbIFaG_-Zhiyk39ttHWqScGn85zSNfU,5033
lambda_calculus/visitors/normalisation.py,sha256=VWBbienaPH5B-vbs8T5Q7StElGmpgoJnVfvuizyVfgE,4487
lambda_calculus/visitors/walking.py,sha256=HjU7nTq1hMy0YWo95TjsyM6YNw2zvUWBeCX9EG2OfMk,1855
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=CMAsi-Z-c0sO-Eu9iwQiJuCE0NcR0tsyUoS52jEvx5o,2598
lambda_calculus-2.2.2.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
lambda_calculus-2.2.2.dist-info/METADATA,sha256=iBdl90BcSTh9i8G9MhdRM6maJ9y4H0MdszWndW4xbks,3681
lambda_calculus-2.2.2.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
lambda_calculus-2.2.2.dist-info/top_level.txt,sha256=p_Qfc-yRgkY5j0TZmT15x86trbd0oCVEJyEsF3kHKTo,16
lambda_calculus-2.2.2.dist-info/RECORD,,
