From 833f4d2e0474ec3ff772107b52711289c4b648cf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 23 Oct 2008 11:59:48 -0400 Subject: Counter demo --- demo/counter.ur | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 demo/counter.ur (limited to 'demo/counter.ur') diff --git a/demo/counter.ur b/demo/counter.ur new file mode 100644 index 00000000..b11fc936 --- /dev/null +++ b/demo/counter.ur @@ -0,0 +1,7 @@ +fun counter n = return + Current counter: {[n]}
+ Increment
+ Decrement + + +fun main () = counter 0 -- cgit v1.2.3