feat: add basis for codef macro

alexkeizer · Aug 8, 2024 · 02fbbf2 · 02fbbf2
1 parent 9b29aa3
commit 02fbbf2
Show file tree

Hide file tree

Showing 3 changed files with 511 additions and 1 deletion.
diff --git a/Qpf/Macro.lean b/Qpf/Macro.lean
@@ -1,2 +1,3 @@
 import Qpf.Macro.Comp
-import Qpf.Macro.Data
+import Qpf.Macro.Data
+import Qpf.Macro.Datadef