diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 06:24:21 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 06:26:06 +0100 |
| commit | 7fbba2eb68ec5855d7af0adcf4fe0d6948177a43 (patch) | |
| tree | b99a33572c5bb04cc5fc19099a52bc43646bedbf /lambda-calcul/haskell/src/Minilang/API.hs | |
| parent | e6d000430619613a07974f601e7c132cd12556e9 (diff) | |
| download | lambda-nantes-7fbba2eb68ec5855d7af0adcf4fe0d6948177a43.tar.gz | |
increase grade with succesful answer
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/API.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/API.hs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/API.hs b/lambda-calcul/haskell/src/Minilang/API.hs index 04eda7b..fffee7f 100644 --- a/lambda-calcul/haskell/src/Minilang/API.hs +++ b/lambda-calcul/haskell/src/Minilang/API.hs @@ -16,7 +16,7 @@ import qualified Data.ByteString.Lazy as LBS import Data.Text (Text) import Data.Time (UTCTime) import GHC.Generics (Generic) -import Servant (FromHttpApiData, Get, JSON, QueryParam, Raw, ReqBody, StdMethod (POST), ToHttpApiData, Verb, parseUrlPiece, toUrlPiece, (:<|>), (:>), Post) +import Servant (FromHttpApiData, Get, JSON, Post, QueryParam, Raw, ReqBody, StdMethod (POST), ToHttpApiData, Verb, parseUrlPiece, toUrlPiece, (:<|>), (:>)) import System.Random (StdGen, uniformList) type LambdaAPI = @@ -53,3 +53,10 @@ data Challenge = Challenge expr :: Text } deriving (Eq, Show, Generic, ToJSON, FromJSON) + +defaultChallenges :: [Challenge] +defaultChallenges = + [ Challenge 0 "x", + Challenge 1 "y", + Challenge 2 "(lam (x) x)" + ] |