lambda_calculus/__init__.py,sha256=IAqrFP7Xo8UOsaPWUnR9iYqQtJXlcq-Wr7CvdFx79fc,340
lambda_calculus/errors.py,sha256=wJoeTjrHRegOZ4hUFv2oICdxr-Gj7aVs92bzIkaXHvs,974
lambda_calculus/py.typed,sha256=rVxfNzv1aKmfThIlRztkUwWiKeYa4XTdtNMh3FV-dGM,25
lambda_calculus/terms/__init__.py,sha256=oogaypLLkmCs1JgDLcXpCeTrTP7D14_J-NwblZRASYU,8141
lambda_calculus/terms/arithmetic.py,sha256=vwMYxhxAb_lmeAVLsVIYvU2tTV0_U4_3COEiQD1QbAs,2204
lambda_calculus/terms/combinators.py,sha256=WR1mfPpR_66uarDXQBhNLlvaIkQsIlsSO9Zo5mamMOM,969
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.2.0.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
lambda_calculus-2.2.0.dist-info/METADATA,sha256=1TByQD7zeQMkZGf1aqtdQYA9tY1Q-9erL_-tC8KPCGw,3531
lambda_calculus-2.2.0.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
lambda_calculus-2.2.0.dist-info/top_level.txt,sha256=p_Qfc-yRgkY5j0TZmT15x86trbd0oCVEJyEsF3kHKTo,16
lambda_calculus-2.2.0.dist-info/RECORD,,
