From 31e82db1a6d6d448fa783a9829afacf7af6a03ba Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 19:56:20 -0400 Subject: Sum prose --- demo/link.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/link.ur') diff --git a/demo/link.ur b/demo/link.ur index 122b98f1..f9e33968 100644 --- a/demo/link.ur +++ b/demo/link.ur @@ -3,5 +3,5 @@ fun target () = return fun main () = return - Go there + Go there -- cgit v1.2.3