From 246d370bd903edeb5570b6f016556528b8ca57fc Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 5 Nov 2025 08:24:05 +0100
Subject: can cleanup registered users

---
 lambda-calcul/haskell/src/Minilang/API.hs | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

(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 8082ac8..94976d2 100644
--- a/lambda-calcul/haskell/src/Minilang/API.hs
+++ b/lambda-calcul/haskell/src/Minilang/API.hs
@@ -16,11 +16,28 @@ import qualified Data.ByteString.Lazy as LBS
 import Data.Text (Text)
 import Data.Time (UTCTime)
 import GHC.Generics (Generic)
-import Servant (FromHttpApiData, Get, JSON, Post, QueryParam, Raw, ReqBody, StdMethod (POST), ToHttpApiData, Verb, parseUrlPiece, toUrlPiece, (:<|>), (:>))
+import Servant
+  ( Delete,
+    FromHttpApiData,
+    Get,
+    JSON,
+    Post,
+    QueryParam,
+    Raw,
+    ReqBody,
+    StdMethod (POST),
+    ToHttpApiData,
+    Verb,
+    parseUrlPiece,
+    toUrlPiece,
+    (:<|>),
+    (:>),
+  )
 import System.Random (StdGen, uniformList)
 
 type LambdaAPI =
   "api" :> "register" :> ReqBody '[JSON] User :> Verb 'POST 201 '[JSON] Token
+    :<|> "api" :> "register" :> QueryParam "token" Token :> Delete '[JSON] Score
     :<|> "api" :> "leaderboard" :> Get '[JSON] [Score]
     :<|> "api" :> "score" :> QueryParam "token" Token :> Get '[JSON] Score
     :<|> "api" :> "challenge" :> QueryParam "token" Token :> Get '[JSON] Challenge
-- 
cgit v1.3.1