Associator lore

imbrem · Jul 11, 2024 · ef6f5de · ef6f5de
1 parent 8eb74db
commit ef6f5de
Show file tree

Hide file tree

Showing 3 changed files with 507 additions and 446 deletions.
diff --git a/DeBruijnSSA/BinSyntax/Rewrite.lean b/DeBruijnSSA/BinSyntax/Rewrite.lean
@@ -1,2 +1,3 @@
 import DeBruijnSSA.BinSyntax.Rewrite.Region.Eqv
 import DeBruijnSSA.BinSyntax.Rewrite.Region.Compose
+import DeBruijnSSA.BinSyntax.Rewrite.Term.Compose