tmp

Author: saulshanabrook

.gitignore

@@ -87,3 +87,4 @@ visualizer.tgz
 package
 .mypy_cache/
 *.json
+!python/tests/param_eq_hegg_haskell_golden.json

AGENTS.md

@@ -19,6 +19,9 @@
 
 - Use the Context7 MCP server for egglog documentation instead of copying external doc summaries into this file.
 - Keep general workflows in the how-to guides, and keep Python-specific runtime/reference examples in `docs/reference/python-integration.md`.
+- Before changing Python-facing `egglog` APIs or expression-inspection patterns, read `docs/reference/python-integration.md`.
+- Before changing how egglog concepts map into Python declarations, relations, actions, or sort/function definitions, read `docs/reference/egglog-translation.md`.
+- If a change touches both local Python ergonomics and egglog-language mapping, read `docs/reference/python-integration.md` first, then `docs/reference/egglog-translation.md`.
 - If a PR adds or updates a changelog entry in `docs/changelog.md`, keep it aligned with the final code changes.
 - For a clean docs rebuild, clear `docs/_build/`; the MyST-NB execution cache lives in `docs/_build/.jupyter_cache`.
 

Cargo.lock

@@ -18,14 +18,14 @@ opentelemetry = "0.28"
 opentelemetry-otlp = { version = "0.28", features = ["http-proto", "reqwest-blocking-client", "trace"] }
 opentelemetry-stdout = { version = "0.28", features = ["trace"] }
 opentelemetry_sdk = "0.28"
-egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives", default-features = false }
-egglog-ast = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
-egglog-core-relations = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
-egglog-reports = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
-egglog-bridge = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
+egglog = { path = "../egg-smol", default-features = false }
+egglog-ast = { path = "../egg-smol/egglog-ast" }
+egglog-core-relations = { path = "../egg-smol/core-relations" }
+egglog-reports = { path = "../egg-smol/egglog-reports" }
+egglog-bridge = { path = "../egg-smol/egglog-bridge" }
 
 
-egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "main", default-features = false }
+egglog-experimental = { path = "../egglog-experimental", default-features = false }
 egraph-serialize = { version = "0.3", features = ["serde", "graphviz"] }
 serde_json = "1"
 pyo3-log =  "*"
@@ -39,19 +39,6 @@ uuid = { version = "1.18", features = ["v4"] }
 rayon = "1.11"
 base64 = "0.22.1"
 
-# Use patched version of egglog in experimental
-[patch.'https://github.com/egraphs-good/egglog']
-# egglog = { path = "../egg-smol" }
-# egglog-core-relations = { path = "../egg-smol/core-relations"  }
-# egglog-ast = { path = "../egg-smol/egglog-ast"  }
-# egglog-reports = { path = "../egg-smol/egglog-reports"  }
-# egglog-bridge = { path = "../egg-smol/egglog-bridge"  }
-
-egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
-egglog-ast = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
-egglog-core-relations = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
-egglog-bridge = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
-egglog-reports = { git = "https://github.com/saulshanabrook/egg-smol.git", branch = "codex/f64-unary-primitives" }
 
 # enable debug symbols for easier profiling
 [profile.release]