diff options
Diffstat (limited to 'demo/noisy.ur')
-rw-r--r-- | demo/noisy.ur | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/demo/noisy.ur b/demo/noisy.ur index 7f26eaf2..708cfa2c 100644 --- a/demo/noisy.ur +++ b/demo/noisy.ur @@ -25,7 +25,7 @@ fun check ls = | Some a => a); check ls' -fun action () = +fun main () = idAdd <- source ""; aAdd <- source ""; @@ -41,7 +41,3 @@ fun action () = <button value="Delete" onclick={id <- get idDel; del (readError id)}/> <ctextbox source={idDel}/> </body></xml> - -fun main () = return <xml><body> - <form><submit value="Begin demo" action={action}/></form> -</body></xml> |