1 files changed, 12 insertions, 0 deletions
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 ;
+
+}