From f08fa03af4f6cf38e664d74c6a0a4a3e65746fb2 Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Wed, 5 Nov 2025 16:28:56 +0100
Subject: provide help on the leaderboard and OpenAPI specification

---
 lambda-calcul/haskell/public/repl.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lambda-calcul/haskell/public/repl.html')

diff --git a/lambda-calcul/haskell/public/repl.html b/lambda-calcul/haskell/public/repl.html
index 4d95361..1e6c34a 100644
--- a/lambda-calcul/haskell/public/repl.html
+++ b/lambda-calcul/haskell/public/repl.html
@@ -76,7 +76,7 @@
         <li>If commands are not executing, try reconnecting to the interpreter.</li>
       </ul>
     </div>
-
+    <script src="help.js"></script>
     <script src="repl.js"></script>
   </body>
 </html>
-- 
cgit v1.3.1