lambda_calculus/__init__.py,sha256=wEpaUPX-b00Yp4R2cwoOsywN2X2117lNOTUFssVsaIU,340
lambda_calculus/errors.py,sha256=qSEsp2R_m2_NYvJIGHDTuJbyqsGQV8feWyqfGK-ke5g,892
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.0.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
lambda_calculus-2.0.0.dist-info/METADATA,sha256=71UWDjkhZ3oHoXg5DF8-FKqkX-lkVZ6GjF7k9bbvaF4,3531
lambda_calculus-2.0.0.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
lambda_calculus-2.0.0.dist-info/top_level.txt,sha256=p_Qfc-yRgkY5j0TZmT15x86trbd0oCVEJyEsF3kHKTo,16
lambda_calculus-2.0.0.dist-info/RECORD,,
