From e7439d65b0e153434d3acc07df6e2a0972ee79ca Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 11 Jan 2011 15:46:43 +0000
Subject: gf-book web page index and toc

---
 gf-book/examples/chapter7/Query.gf | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 gf-book/examples/chapter7/Query.gf

(limited to 'gf-book/examples/chapter7/Query.gf')

diff --git a/gf-book/examples/chapter7/Query.gf b/gf-book/examples/chapter7/Query.gf
new file mode 100644
index 000000000..b6f83e357
--- /dev/null
+++ b/gf-book/examples/chapter7/Query.gf
@@ -0,0 +1,12 @@
+abstract Query = {
+  flags startcat=Question ;
+  cat 
+    Answer ; Question ; Object ;
+  fun 
+    Even   : Object -> Question ;
+    Odd    : Object -> Question ;
+    Prime  : Object -> Question ;
+    Number : Int -> Object ;
+    Yes    : Answer ;
+    No     : Answer ;
+}
-- 
cgit v1.2.3