1 files changed, 11 insertions, 0 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
index cf6ef01..81ac25c 100644
--- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs
@@ -23,6 +23,17 @@ spec = parallel $
                      "y : <?>"
                    ]
 
+    it "evaluates untyped MiniLang terms with definitions" $ do
+      let out =
+            withInput
+              ["(def id (lam (x) x))", "(id y)"]
+
+      out
+        `shouldBe` [ "Bye!",
+                     "y : <?>",
+                     "id : <?>"
+                   ]
+
     it "defaults untyped terms" $ do
       let out =
             withInput