Injected a non-special-case datatype

1 files changed, 4 insertions, 0 deletions

diff --git a/jslib/urweb.js b/jslib/urweb.js
index 16424eb3..9d28b461 100644
--- a/jslib/urweb.js
+++ b/jslib/urweb.js
@@ -41,6 +41,10 @@ function dyn(s) {
   s.h = cons(function() { x.innerHTML = s.v }, s.h);
 }
 
+function eh(x) {
+  return x.split("&").join("&amp;").split("<").join("&lt;").split(">").join("&gt;");
+}
+
 function ts(x) { return x.toString() }
 function bs(b) { return (b ? "True" : "False") }