Add cabal.project so that cubical-utils also works as a submodule

Without a `cabal.project` here, `cabal` will use one higher up in the directory tree.
agda · Nov 15, 2023 · 65e550f · 65e550f
1 parent 532c00c
commit 65e550f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cabal.project b/cabal.project
@@ -0,0 +1 @@
+packages: .