import equations

AlgebraicJulia · Jun 18, 2024 · 7ee1782 · 7ee1782
1 parent b304bf0
commit 7ee1782
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "GATlab"
 uuid = "f0ffcf3b-d13a-433e-917c-cc44ccf5ead2"
 authors = ["AlgebraicJulia Developers"]
-version = "0.1.1"
+version = "0.1.2"
 
 [deps]
 AlgebraicInterfaces = "23cfdc9f-0504-424a-be1f-4892b28e2f0c"

diff --git a/src/syntax/GATs.jl b/src/syntax/GATs.jl
@@ -16,6 +16,8 @@ import ..ExprInterop: fromexpr, toexpr
 
 import ..Scopes: retag, rename
 
+import AlgebraicInterfaces: equations
+
 using StructEquality
 using MLStyle
 using DataStructures: OrderedDict