diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-05 10:23:16 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-05 10:23:16 -0400 |
| commit | aa5999ae1e92576a1557e4b9e93c12a2f800379f (patch) | |
| tree | bede52199ad6681e3598dd198333b0c9dfef60ff /demo/noisy.ur | |
| parent | 011a2d458a677c5db5c2fdf0684eeecaf688d6d9 (diff) | |
Make Effectize more precise
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> |