From 2f923a2b261ac47e5f44d26aa92b548bbad86e09 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/increment.ur | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'demo/increment.ur') diff --git a/demo/increment.ur b/demo/increment.ur index a74e80df..36b8191f 100644 --- a/demo/increment.ur +++ b/demo/increment.ur @@ -2,9 +2,13 @@ sequence seq fun increment () = nextval seq -fun main () = +fun action () = src <- source 0; return {[n]}}/>