Add title and note

tekknolagi · Nov 29, 2023 · c7a67d3 · c7a67d3
1 parent 9b5ec82
commit c7a67d3
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/scrapscript.py b/scrapscript.py
@@ -991,10 +991,17 @@ def do_repl(self) -> None:
         html = rb"""
 <html>
 <head>
+<title>Scrapscript Web REPL</title>
 </head>
 <body>
-Output:
 <div>
+<p>See <a href="https://scrapscript.org/">scrapscript.org</a> for a slightly
+out of date language reference.</p>
+<p>This REPL sends programs to a server to be evaluated, but the server is
+completely stateless. All persistence is in the browser.</p>
+</div>
+<div>
+Output:
 <pre id="output">
 >>> </pre>
 </div>