resource examples

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 ;
+
+}