From 7f7d05616c489b6039bc1e8824c00b43209109c2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 16 Apr 2009 15:38:01 -0400 Subject: Add more buttons to demo, to avoid effectful GET --- demo/noisy.ur | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'demo/noisy.ur') diff --git a/demo/noisy.ur b/demo/noisy.ur index 708cfa2c..7f26eaf2 100644 --- a/demo/noisy.ur +++ b/demo/noisy.ur @@ -25,7 +25,7 @@ fun check ls = | Some a => a); check ls' -fun main () = +fun action () = idAdd <- source ""; aAdd <- source ""; @@ -41,3 +41,7 @@ fun main () =