Add ITree.lean module file

alexkeizer · Oct 11, 2024 · 00f2c6c · 00f2c6c
1 parent b3fb1bf
commit 00f2c6c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ITree.lean b/ITree.lean
@@ -0,0 +1 @@
+import ITree.Basic