From 17b3f5af99c07d7361fb99124412aff1768cfe13 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 19:24:39 -0400 Subject: Sum demo, minus inference of {Unit}s --- 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 f9e33968..122b98f1 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