view jslib/urweb.js @ 575:9f02f1765149

Starting to implement source set
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 09:43:41 -0500
parents ac947e2f29ff
children 0094e0242100
line wrap: on
line source
function sc(v) { return {v : v} }

function ss(s) { return {v : s.v} }
function sr(v) { return {v : v} }
function sb(x,y) { return {v : y(x.v).v} }

function dyn(s) {
  var x = document.createElement("span");
  x.innerHTML = s.v;
  document.body.appendChild(x);
}