Add more challenges and plans for enhancement of the interpreter

1 files changed, 6 insertions, 4 deletions

diff --git a/lambda-calcul/haskell/src/Minilang/API.hs b/lambda-calcul/haskell/src/Minilang/API.hs
index 43baddf..0be70ff 100644
--- a/lambda-calcul/haskell/src/Minilang/API.hs
+++ b/lambda-calcul/haskell/src/Minilang/API.hs
@@ -131,13 +131,15 @@ newToken = first LBS.pack . uniformList 16
 
 data Challenge = Challenge
   { level :: Int,
-    expr :: Text
+    expr :: Text,
+    description :: Text,
+    answer :: Text
   }
   deriving (Eq, Show, Generic, ToJSON, FromJSON)
 
 defaultChallenges :: [Challenge]
 defaultChallenges =
-  [ Challenge 0 "x",
-    Challenge 1 "y",
-    Challenge 2 "(lam (x) x)"
+  [ Challenge 0 "x" "A lone free variable. What does x reduce to?" "x",
+    Challenge 1 "y" "Another free variable. What does y reduce to?" "y",
+    Challenge 2 "(lam (x) x)" "The identity function. What is its normal form?" "(lam (x) x)"
   ]