diff jslib/urweb.js @ 586:1c969230ee7f

Reactive bool
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 11:13:08 -0500
parents 35471f067980
children 102e81d975e3
line wrap: on
line diff
--- a/jslib/urweb.js	Thu Jan 01 11:04:09 2009 -0500
+++ b/jslib/urweb.js	Thu Jan 01 11:13:08 2009 -0500
@@ -42,4 +42,6 @@
 }
 
 function ts(x) { return x.toString() }
+function bs(b) { return (b ? "True" : "False") }
+
 function pf() { alert("Pattern match failure") }