From 1294be22324f012e96fd1b9d5935563505c080be Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Sun, 2 Nov 2025 18:56:41 +0100
Subject: fix websocket URL typo

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

(limited to 'lambda-calcul/haskell')

diff --git a/lambda-calcul/haskell/public/repl.js b/lambda-calcul/haskell/public/repl.js
index 8dab744..599d1f8 100644
--- a/lambda-calcul/haskell/public/repl.js
+++ b/lambda-calcul/haskell/public/repl.js
@@ -4,7 +4,7 @@ function connect() {
     websocket = (function() {
         const host = window.location.host;
         const protocol = window.location.protocol === "https:" ? "wss:" : "ws:";
-        const ws = new WebSocket(protocol + "://" + host + "/repl/1235");
+        const ws = new WebSocket(protocol + "//" + host + "/repl/1235");
         ws.binaryType = "arraybuffer";
         return ws;
     })();
-- 
cgit v1.3.1