From 64f0edf6a5db26ed8f872e18a43416cce7fcbab8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Apr 2009 10:08:11 -0400 Subject: style declarations --- tests/style.ur | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 tests/style.ur (limited to 'tests/style.ur') diff --git a/tests/style.ur b/tests/style.ur new file mode 100644 index 00000000..f622ecfd --- /dev/null +++ b/tests/style.ur @@ -0,0 +1,6 @@ +style q : [] +style r : [Table, List] + +fun main () : transaction page = return + Hi. + -- cgit v1.2.3