blob: 4ac2b2dab72fdfd5579b58e690caf6272baaacbf (
plain)
1
2
3
4
5
6
7
8
9
10
|
sequence seq
fun increment () = nextval seq
fun main () =
src <- source 0;
return <xml><body>
<dyn signal={n <- signal src; return <xml>{[n]}</xml>}/>
<button value="Update" onclick={fn _ => n <- rpc (increment ()); set src n}/>
</body></xml>
|