From 95d278b9b8e9c314541b8251a34a32fe6deeb896 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 13 Jul 2008 11:43:57 -0400 Subject: Starting with closure links --- tests/link.lac | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tests/link.lac (limited to 'tests/link.lac') diff --git a/tests/link.lac b/tests/link.lac new file mode 100644 index 00000000..4e2918e0 --- /dev/null +++ b/tests/link.lac @@ -0,0 +1,9 @@ +val ancillary : {} -> xhtml = fn () => + Welcome to the ancillary page! + + +val main : {} -> xhtml = fn () => + Enter the unknown! + + Alternate route! + -- cgit v1.2.3