gf-book web page index and toc

5 files changed, 0 insertions, 65 deletions

diff --git a/book/examples/chapter7/Map.gf b/book/examples/chapter7/Map.gf
deleted file mode 100644
index 52deebb87..000000000
--- a/book/examples/chapter7/Map.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-abstract Map = {
-flags startcat = Query ;
-cat
-  Query ; Input ; Place ; Click ;
-fun
-  GoFromTo   : Place -> Place -> Input ;
-  ThisPlace  : Click -> Place ;
-  QueryInput : Input -> Query ;
-  ClickCoord : Int -> Int -> Click ;
-}
diff --git a/book/examples/chapter7/MapEng.gf b/book/examples/chapter7/MapEng.gf
deleted file mode 100644
index fee0b502c..000000000
--- a/book/examples/chapter7/MapEng.gf
+++ /dev/null
@@ -1,17 +0,0 @@
-concrete MapEng of Map = {
-lincat
-  Query        = {s : Str} ;
-  Input, Place = {s : Str ; p : Str} ;
-  Click        = {p : Str} ;
-lin
-  GoFromTo x y = {
-    s = "I want to go from" ++ x.s ++ "to" ++ y.s ; 
-    p = x.p ++ y.p
-    } ;
-  ThisPlace c = {
-    s = "this place" ; 
-    p = c.p
-    } ;
-  QueryInput i = {s = i.s ++ ";" ++ i.p} ;
-  ClickCoord x y = {p = "(" ++ x.s ++ "," ++ y.s ++ ")"} ;
-}
diff --git a/book/examples/chapter7/Query.gf b/book/examples/chapter7/Query.gf
deleted file mode 100644
index b6f83e357..000000000
--- a/book/examples/chapter7/Query.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-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 ;
-}
diff --git a/book/examples/chapter7/QueryEng.gf b/book/examples/chapter7/QueryEng.gf
deleted file mode 100644
index cc14d5eb7..000000000
--- a/book/examples/chapter7/QueryEng.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-concrete QueryEng of Query = {
-  lincat 
-    Answer, Question, Object = Str ;
-  lin 
-    Even  = pred "even" ;
-    Odd   = pred "odd" ;
-    Prime = pred "prime" ;
-    Number i = i.s ;
-    Yes = "yes" ;
-    No = "no" ;
-  oper
-    pred : Str -> Str -> Str = \f,x -> "is" ++ x ++ f ;
-}
diff --git a/book/examples/chapter7/QueryFin.gf b/book/examples/chapter7/QueryFin.gf
deleted file mode 100644
index b3461e34a..000000000
--- a/book/examples/chapter7/QueryFin.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-concrete QueryFin of Query = {
-  lincat 
-    Answer, Question, Object = Str ;
-  lin 
-    Even  = pred "parillinen" ;
-    Odd   = pred "pariton" ;
-    Prime = pred "alkuluku" ;
-    Number i = i.s ;
-    Yes = "kyllä" ;
-    No = "ei" ;
-  oper
-    pred : Str -> Str -> Str = \f,x -> "onko" ++ x ++ f ;
-}