From bfbe2e3d47e5f1904846609c80058f0561d76ede Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 19 Dec 2005 16:31:40 +0000
Subject: resource examples

---
 doc/tutorial/applications/Comments.gf | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 doc/tutorial/applications/Comments.gf

(limited to 'doc/tutorial/applications/Comments.gf')

diff --git a/doc/tutorial/applications/Comments.gf b/doc/tutorial/applications/Comments.gf
new file mode 100644
index 000000000..3801ee77a
--- /dev/null
+++ b/doc/tutorial/applications/Comments.gf
@@ -0,0 +1,12 @@
+abstract Comments = {
+
+  cat
+    S ; Item ; Kind ; Quality ;
+
+  fun
+    Is : Item -> Quality -> S ;
+    This, That, These, Those : Kind -> Item ;
+    QKind : Quality -> Kind -> Kind ;
+    Very : Quality -> Quality ;
+
+}
-- 
cgit v1.2.3