diff options
Diffstat (limited to 'jslib/urweb.js')
| -rw-r--r-- | jslib/urweb.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jslib/urweb.js b/jslib/urweb.js index 508f4318..e661a739 100644 --- a/jslib/urweb.js +++ b/jslib/urweb.js @@ -40,3 +40,5 @@ function dyn(s) { document.body.appendChild(x); s.h = cons(function() { x.innerHTML = s.v }, s.h); } + +function ts(x) { return x.toString() } |