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/help.js | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 lambda-calcul/haskell/public/help.js

(limited to 'lambda-calcul/haskell/public/help.js')

diff --git a/lambda-calcul/haskell/public/help.js b/lambda-calcul/haskell/public/help.js
new file mode 100644
index 0000000..52d604e
--- /dev/null
+++ b/lambda-calcul/haskell/public/help.js
@@ -0,0 +1,13 @@
+function toggleHelp(e) {
+  const help = document.getElementById("help");
+  if(help.style.display === "block") {
+    help.style.display = "none";
+  } else {
+    help.style.display = "block";
+  }
+}
+
+document.addEventListener('DOMContentLoaded', () => {
+  document.getElementById("helptip").addEventListener("click", toggleHelp);
+  document.getElementById("help").addEventListener("click", toggleHelp);
+});
-- 
cgit v1.3.1