From 98651ecbb17fce5630300f0050f323d7d023cf6b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 19 Oct 2008 11:11:49 -0400 Subject: Simple generation of persistent paths --- tests/link.ur | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tests/link.ur') diff --git a/tests/link.ur b/tests/link.ur index 26f093ed..aa65b26a 100644 --- a/tests/link.ur +++ b/tests/link.ur @@ -1,7 +1,7 @@ -val ancillary = fn () => +fun ancillary () = return Welcome to the ancillary page! - + -val main : unit -> page = fn () => +fun main () : transaction page = return Enter the unknown! - + -- cgit v1.2.3