1 files changed, 6 insertions, 0 deletions
diff --git a/jslib/urweb.js b/jslib/urweb.js
index 32912e4c..b7a1af91 100644
--- a/jslib/urweb.js
+++ b/jslib/urweb.js
@@ -1 +1,7 @@
 function sreturn(v) { return {v : v} }
+
+function dyn(s) {
+  var x = document.createElement("span");
+  x.innerHTML = s.v;
+  document.body.appendChild(x);
+}