From f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 16:28:56 +0100 Subject: provide help on the leaderboard and OpenAPI specification --- lambda-calcul/haskell/minilang.cabal | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lambda-calcul/haskell/minilang.cabal') diff --git a/lambda-calcul/haskell/minilang.cabal b/lambda-calcul/haskell/minilang.cabal index dd8553b..200e5c5 100644 --- a/lambda-calcul/haskell/minilang.cabal +++ b/lambda-calcul/haskell/minilang.cabal @@ -35,6 +35,7 @@ library Minilang.Lambda.Infer Minilang.Lambda.Parser Minilang.Log + Minilang.OpenApi Minilang.REPL Minilang.REPL.Haskeline Minilang.REPL.IO @@ -71,10 +72,13 @@ library , filepath , haskeline , megaparsec + , lens , mtl , random , servant-server + , servant-swagger , stm + , swagger2 , text , time , unordered-containers -- cgit v1.3.1