annotate jslib/urweb.js @ 576:813f1e78d9d0

Merge
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 09:43:45 -0500
parents ac947e2f29ff
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 }