view tests/sidecheckGood.ur @ 2193:1d6e7e3405f6

New release
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Nov 2015 10:09:16 -0500
parents 154cfe2eb366
children
line wrap: on
line source
fun main () : transaction page =
    s <- source 0;
    set s 42;
    return <xml><body>
      <dyn signal={n <- signal s; return (txt n)}/>
    </body></xml>