https://pypi.org/project/tablambda/ Recent updates to the Python Package Index for tablambda en https://pypi.org/project/tablambda/0.8.0/ A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs yang-bo@yang-bo.com Mon, 22 Jun 2026 08:26:30 GMT https://pypi.org/project/tablambda/0.7.0.post11.dev0/ A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs yang-bo@yang-bo.com Mon, 22 Jun 2026 06:46:59 GMT https://pypi.org/project/tablambda/0.7.0.post9.dev0/ A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs yang-bo@yang-bo.com Mon, 22 Jun 2026 06:20:02 GMT https://pypi.org/project/tablambda/0.7.0.post8.dev0/ A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs yang-bo@yang-bo.com Mon, 22 Jun 2026 05:03:07 GMT https://pypi.org/project/tablambda/0.7.0.post2.dev0/ A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs yang-bo@yang-bo.com Sun, 21 Jun 2026 23:55:48 GMT https://pypi.org/project/tablambda/0.7.0/ A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs yang-bo@yang-bo.com Sun, 21 Jun 2026 23:29:54 GMT https://pypi.org/project/tablambda/0.6.0.post30.dev0/ A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs yang-bo@yang-bo.com Sun, 21 Jun 2026 23:25:58 GMT