From fade9c496cebbc0caa97821cb85e9e56da31c57f Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 21 Mar 2026 09:06:47 +0100 Subject: Add more challenges and plans for enhancement of the interpreter --- lambda-calcul/haskell/src/Minilang/API.hs | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'lambda-calcul/haskell/src/Minilang/API.hs') 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)" ] -- cgit v1.3.1