https://pypi.org/project/co-lambda/ Recent updates to the Python Package Index for co-lambda en https://pypi.org/project/co-lambda/0.6.0.post25.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 20:47:16 GMT https://pypi.org/project/co-lambda/0.6.0.post10.dev0/ A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus yang-bo@yang-bo.com Sun, 21 Jun 2026 06:19:42 GMT https://pypi.org/project/co-lambda/0.6.0.post8.dev0/ A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus yang-bo@yang-bo.com Sun, 21 Jun 2026 06:12:07 GMT https://pypi.org/project/co-lambda/0.6.0.post6.dev0/ A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus yang-bo@yang-bo.com Sun, 21 Jun 2026 05:29:38 GMT https://pypi.org/project/co-lambda/0.6.0.post1.dev0/ A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus yang-bo@yang-bo.com Sun, 21 Jun 2026 01:35:26 GMT https://pypi.org/project/co-lambda/0.6.0/ A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus yang-bo@yang-bo.com Sun, 21 Jun 2026 01:23:22 GMT https://pypi.org/project/co-lambda/0.5.0.post1.dev0/ A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus yang-bo@yang-bo.com Sun, 21 Jun 2026 01:17:54 GMT https://pypi.org/project/co-lambda/0.5.0/ A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus yang-bo@yang-bo.com Sun, 21 Jun 2026 00:56:18 GMT