diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-01 11:13:08 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-01 11:13:08 -0500 |
| commit | 9f4d65e9ef14f435aa3b6178f98b9ce1476ce056 (patch) | |
| tree | d140aed7feabff611443a56399504f5420ad6a82 /jslib | |
| parent | 5311577e153580fc5dce3671b47cc49bdfd8e1e9 (diff) | |
Reactive bool
Diffstat (limited to 'jslib')
| -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 904e27e8..46c24bff 100644 --- a/jslib/urweb.js +++ b/jslib/urweb.js @@ -42,4 +42,6 @@ function dyn(s) { } function ts(x) { return x.toString() } +function bs(b) { return (b ? "True" : "False") } + function pf() { alert("Pattern match failure") } |