lambda_calculus/__init__.py,sha256=Jj2dXf0DhcLtEDE-qlqAExFq_gORzxtZCACOKnxpyBc,341
lambda_calculus/errors.py,sha256=qSEsp2R_m2_NYvJIGHDTuJbyqsGQV8feWyqfGK-ke5g,892
lambda_calculus/py.typed,sha256=rVxfNzv1aKmfThIlRztkUwWiKeYa4XTdtNMh3FV-dGM,25
lambda_calculus/terms/__init__.py,sha256=dDNOI7lHSiZkiJJpqYUqcVco5HG5ywyZ1aNATK00ZXY,8079
lambda_calculus/terms/arithmetic.py,sha256=uNispwAaaZUaoBGb1JuF4uaQw_w1S7877pExHqhNA7c,2085
lambda_calculus/terms/logic.py,sha256=XiGFkFlSakD3hdhSMHzVSjYaraSIalQszKUHk-E3DTI,798
lambda_calculus/terms/pairs.py,sha256=VA6PnmtRhjmd1OU0uR_hbNh3jJmiXtcdvbPlqCdE--M,670
lambda_calculus/visitors/__init__.py,sha256=r6vyE5BrbsQNFBrTQGyOOX3By3PHvLTH6ixG8qCnR_o,2188
lambda_calculus/visitors/normalisation.py,sha256=DhJVUkIaR7417ty3SDfg5ZjPE-P31v2AKxvrm6V2xB0,2711
lambda_calculus/visitors/substitution.py,sha256=ILrulnQfGkO1Uyni3DWHStS4qV_LPh7mTYbs_dYb1Ho,5345
lambda_calculus/visitors/walking.py,sha256=WyMShaB9w_At9c2T6xDgzpfJVUnIf9VZDNGsNYZ54Zc,1178
lambda_calculus-1.11.0.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
lambda_calculus-1.11.0.dist-info/METADATA,sha256=6kvz4T40u4-lRDOn1wbYXQm9-qmAJUNIrnJkYxIpnfE,3017
lambda_calculus-1.11.0.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
lambda_calculus-1.11.0.dist-info/top_level.txt,sha256=p_Qfc-yRgkY5j0TZmT15x86trbd0oCVEJyEsF3kHKTo,16
lambda_calculus-1.11.0.dist-info/RECORD,,
