curryparty 0.1.0__py3-none-any.whl → 0.1.1__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
curryparty/__init__.py
CHANGED
|
@@ -1,6 +1,11 @@
|
|
|
1
1
|
from typing import Iterable, List, Optional, Union
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
try:
|
|
4
|
+
import polars as pl
|
|
5
|
+
except ImportError:
|
|
6
|
+
raise ImportError(
|
|
7
|
+
"curryparty needs the `polars` library. \n Please install it, typically with `pip install polars`"
|
|
8
|
+
)
|
|
4
9
|
from svg import SVG
|
|
5
10
|
|
|
6
11
|
from .core import SCHEMA, beta_reduce, compose, find_redexes, find_variables, subtree
|
|
@@ -1,10 +1,9 @@
|
|
|
1
1
|
Metadata-Version: 2.3
|
|
2
2
|
Name: curryparty
|
|
3
|
-
Version: 0.1.
|
|
3
|
+
Version: 0.1.1
|
|
4
4
|
Summary: Python playground to learn lambda calculus
|
|
5
5
|
Author: Antonin P
|
|
6
6
|
Author-email: Antonin P <antonin.peronnet@telecom-paris.fr>
|
|
7
|
-
Requires-Dist: polars>=1.36.1
|
|
8
7
|
Requires-Dist: svg-py>=1.9.2
|
|
9
8
|
Requires-Python: >=3.13
|
|
10
9
|
Description-Content-Type: text/markdown
|
|
@@ -57,7 +56,8 @@ for x in term.reduction_chain():
|
|
|
57
56
|
But the main point of this library is the svg-based display system.
|
|
58
57
|
If you use a notebook such as jupyternotebook or marimo, you will see something like this:
|
|
59
58
|
|
|
60
|
-
|
|
59
|
+
<img width="1140" height="440" alt="notebook_display" src="https://github.com/user-attachments/assets/6ac48738-eb58-4f7c-908f-567a855f37f5" />
|
|
60
|
+
|
|
61
61
|
|
|
62
62
|
|
|
63
63
|
You can also use `term.show_reduction` to get an animated version.
|
|
@@ -1,8 +1,8 @@
|
|
|
1
|
-
curryparty/__init__.py,sha256=
|
|
1
|
+
curryparty/__init__.py,sha256=vVym-L4SH1WOMKs8_NLYg1GdEa0m8X7NrIcUi6OTwOA,5582
|
|
2
2
|
curryparty/core.py,sha256=9vQJlUeYXJ71SkRV6tUiw1RSu7gUJu4f_e6w2Zt-tLQ,3665
|
|
3
3
|
curryparty/display.py,sha256=8PRRP-9ys-q0OEvIhePxM9di_2n0WRkwA13qK5sq4JU,6783
|
|
4
4
|
curryparty/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
5
5
|
curryparty/utils.py,sha256=Q5vYGQ1PvxDPntjF39D-6geAwDDdXz7pVFiAyUGE4WM,2839
|
|
6
|
-
curryparty-0.1.
|
|
7
|
-
curryparty-0.1.
|
|
8
|
-
curryparty-0.1.
|
|
6
|
+
curryparty-0.1.1.dist-info/WHEEL,sha256=RRVLqVugUmFOqBedBFAmA4bsgFcROUBiSUKlERi0Hcg,79
|
|
7
|
+
curryparty-0.1.1.dist-info/METADATA,sha256=8Ie0YQGsWFrfVG6ddNRCbvSguRV9LEP0Qmah_XlXUKI,1922
|
|
8
|
+
curryparty-0.1.1.dist-info/RECORD,,
|
|
File without changes
|