annotate jslib/urweb.js @ 574:ac947e2f29ff

Trivial use of a source
author Adam Chlipala <adamc@hcoop.net>
date Sun, 21 Dec 2008 12:56:39 -0500
parents 57018f21cd5c
children 0094e0242100
rev   line source
adamc@574 1 function sc(v) { return {v : v} }
adamc@574 2
adamc@574 3 function ss(s) { return {v : s.v} }
adamc@572 4 function sr(v) { return {v : v} }
adamc@572 5 function sb(x,y) { return {v : y(x.v).v} }
adamc@571 6
adamc@571 7 function dyn(s) {
adamc@571 8 var x = document.createElement("span");
adamc@571 9 x.innerHTML = s.v;
adamc@571 10 document.body.appendChild(x);
adamc@571 11 }