diff --git a/cabal.project b/cabal.project
new file mode 100644
index 000000000..5356e76f6
--- /dev/null
+++ b/cabal.project
@@ -0,0 +1 @@
+packages: .
\ No newline at end of file
diff --git a/hie.yaml b/hie.yaml
new file mode 100644
index 000000000..8304d7db7
--- /dev/null
+++ b/hie.yaml
@@ -0,0 +1,8 @@
+cradle:
+  stack:
+    - path: ./src/test
+      component: "juvix:test:juvix-test"
+    - path: ./src/MiniJuvix
+      component: "juvix:src"
+    - path: ./src/app
+      component: "juvix:exe:MiniJuvix"
\ No newline at end of file
diff --git a/src/app/Options.hs b/src/app/Options.hs
index e69de29bb..7c3176747 100644
--- a/src/app/Options.hs
+++ b/src/app/Options.hs
@@ -0,0 +1,5 @@
+module Options (main) where
+
+--------------------------------------------------------------------------------
+-- Options
+--------------------------------------------------------------------------------
diff --git a/src/test/Spec.hs b/src/test/Spec.hs
index 1a4484693..19e712166 100644
--- a/src/test/Spec.hs
+++ b/src/test/Spec.hs
@@ -1,5 +1,4 @@
 module Main (main) where
 
-
 main :: IO ()
 main = putStrLn ("Test suite is not implemented" :: String)