From d8de44ce7c70fc8ce462e764223e413a9a6ea6b6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 May 2009 12:24:39 -0400 Subject: url demo --- demo/url.ur | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 demo/url.ur (limited to 'demo/url.ur') diff --git a/demo/url.ur b/demo/url.ur new file mode 100644 index 00000000..48d1bdc3 --- /dev/null +++ b/demo/url.ur @@ -0,0 +1,13 @@ +fun yourChoice r = return + {case checkUrl r.Url of + None => You aren't allowed to link to there. + | Some url => Enjoy!} + + +fun main () = return + Learn something
+
+
+ URL of your choice: + +
 -- cgit v1.2.3