lambda_calculus/__init__.py,sha256=01o6hLcQM_VxXmK1rYzInPsTqzQch4N1gIqgMRTIzuA,340
lambda_calculus/errors.py,sha256=wJoeTjrHRegOZ4hUFv2oICdxr-Gj7aVs92bzIkaXHvs,974
lambda_calculus/py.typed,sha256=rVxfNzv1aKmfThIlRztkUwWiKeYa4XTdtNMh3FV-dGM,25
lambda_calculus/terms/__init__.py,sha256=hkO2I-xO9oMHLVuMTD8ln6ocbOjyd_QUg9gz0ZzDhMQ,8122
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=hwhCW_Hh_i1MInWMnKluHZ0qpVnzQtMYODg-z67i7Es,2944
lambda_calculus/visitors/normalisation.py,sha256=aWefgheWWQfTAYeyKSQIhEGulakATkv-ps_X9432LYY,3343
lambda_calculus/visitors/walking.py,sha256=WyMShaB9w_At9c2T6xDgzpfJVUnIf9VZDNGsNYZ54Zc,1178
lambda_calculus/visitors/substitution/__init__.py,sha256=0n_zij4QPA5qJcdcTIDxZUSMygy40TaWdrp_xWJEt7s,2937
lambda_calculus/visitors/substitution/checked.py,sha256=gStj6cYd3kHXuNNuWH1m21oZvfAIzGSxv9T002hUyJE,2914
lambda_calculus/visitors/substitution/renaming.py,sha256=QGfmO4byhPPIPcUV9IFHvAGTYBfTXq0oJ-lYQby5fCg,5866
lambda_calculus/visitors/substitution/unsafe.py,sha256=Y3y6KOckm5NcPICQP6YiUb1M9xSGgKk5FFYCAkUBCCI,1927
lambda_calculus-2.0.1.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
lambda_calculus-2.0.1.dist-info/METADATA,sha256=FFKfWXiw2uZLpabOQO7inbQcuEo7KcBAD333rU8Zny8,3531
lambda_calculus-2.0.1.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
lambda_calculus-2.0.1.dist-info/top_level.txt,sha256=p_Qfc-yRgkY5j0TZmT15x86trbd0oCVEJyEsF3kHKTo,16
lambda_calculus-2.0.1.dist-info/RECORD,,
