curryparty 0.1.0__tar.gz → 0.2.0__tar.gz

{curryparty-0.1.0 → curryparty-0.2.0}/PKG-INFO

@@ -1,10 +1,9 @@
 Metadata-Version: 2.3
 Name: curryparty
-Version: 0.1.0
+Version: 0.2.0
 Summary: Python playground to learn lambda calculus
 Author: Antonin P
 Author-email: Antonin P <antonin.peronnet@telecom-paris.fr>
-Requires-Dist: polars>=1.36.1
 Requires-Dist: svg-py>=1.9.2
 Requires-Python: >=3.13
 Description-Content-Type: text/markdown
@@ -57,11 +56,18 @@ for x in term.reduction_chain():
 But the main point of this library is the svg-based display system.
 If you use a notebook such as jupyternotebook or marimo, you will see something like this:
 
-![](./assets/notebook_display.png)
+<img width="1140" height="440" alt="notebook_display" src="https://github.com/user-attachments/assets/6ac48738-eb58-4f7c-908f-567a855f37f5" />
+
 
 
 You can also use `term.show_reduction` to get an animated version.
 
+# Tutorial
+
+`lambda.py` shows a tutorial in marimo format. Click on the button to try it out:
+
+[![Open with marimo](https://marimo.io/shield.svg)](https://marimo.app/github.com/rambip/curryparty/blob/main/lambda.py)
+
 # How it works
 
 Under the wood, all the terms are converted into a list of nodes, that can either be a `lambda`, an `application` (with 2 arguments) or a `variable` (with 0 arguments).

{curryparty-0.1.0 → curryparty-0.2.0}/README.md

@@ -46,11 +46,18 @@ for x in term.reduction_chain():
 But the main point of this library is the svg-based display system.
 If you use a notebook such as jupyternotebook or marimo, you will see something like this:
 
-![](./assets/notebook_display.png)
+<img width="1140" height="440" alt="notebook_display" src="https://github.com/user-attachments/assets/6ac48738-eb58-4f7c-908f-567a855f37f5" />
+
 
 
 You can also use `term.show_reduction` to get an animated version.
 
+# Tutorial
+
+`lambda.py` shows a tutorial in marimo format. Click on the button to try it out:
+
+[![Open with marimo](https://marimo.io/shield.svg)](https://marimo.app/github.com/rambip/curryparty/blob/main/lambda.py)
+
 # How it works
 
 Under the wood, all the terms are converted into a list of nodes, that can either be a `lambda`, an `application` (with 2 arguments) or a `variable` (with 0 arguments).

{curryparty-0.1.0 → curryparty-0.2.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "curryparty"
-version = "0.1.0"
+version = "0.2.0"
 description = "Python playground to learn lambda calculus"
 readme = "README.md"
 authors = [
@@ -8,7 +8,6 @@ authors = [
 ]
 requires-python = ">=3.13"
 dependencies = [
-    "polars>=1.36.1",
     "svg-py>=1.9.2",
 ]
 
@@ -19,5 +18,6 @@ build-backend = "uv_build"
 [dependency-groups]
 dev = [
     "marimo>=0.18.4",
+    "polars>=1.36.1",
     "ruff>=0.14.8",
 ]

{curryparty-0.1.0 → curryparty-0.2.0}/src/curryparty/__init__.py

@@ -1,6 +1,11 @@
 from typing import Iterable, List, Optional, Union
 
-import polars as pl
+try:
+    import polars as pl
+except ImportError:
+    raise ImportError(
+        "curryparty needs the `polars` library. \n Please install it, typically with `pip install polars`"
+    )
 from svg import SVG
 
 from .core import SCHEMA, beta_reduce, compose, find_redexes, find_variables, subtree
@@ -36,6 +41,12 @@ class Term:
         reduced = beta_reduce(self.nodes, lamb, b)
         return Term(reduced)
 
+    def reduce(self):
+        last_non_reduced = self
+        for term in self.reduction_chain():
+            last_non_reduced = term
+        return last_non_reduced
+
     def reduction_chain(self) -> Iterable["Term"]:
         term = self
         while True:
@@ -44,7 +55,7 @@ class Term:
             if term is None:
                 break
 
-    def show_reduction(self):
+    def show_beta(self):
         candidates = find_redexes(self.nodes)
         if len(candidates) == 0:
             return None