diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..0d49d6b
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+dist/
+.cabal-sandbox/
+*.o
+*.hi
+*.prof
+
diff --git a/NominalAngluin.cabal b/NominalAngluin.cabal
index 5b4becd..f6fcf69 100644
--- a/NominalAngluin.cabal
+++ b/NominalAngluin.cabal
@@ -22,6 +22,7 @@ executable NominalAngluin
   build-depends:
     base >=4.8 && <4.9,
     containers,
+    mtl,
     NLambda,
     readline
   hs-source-dirs:      src