From 5646b9630eb86f0d4f393dce6b7fc76cea87421f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 10:49:18 -0400 Subject: Alert demo --- demo/alert.ur | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 demo/alert.ur (limited to 'demo/alert.ur') diff --git a/demo/alert.ur b/demo/alert.ur new file mode 100644 index 00000000..0f82e4bb --- /dev/null +++ b/demo/alert.ur @@ -0,0 +1,3 @@ +fun main () = return +