gf-book/examples/chapter7/QueryEng.gf


1
2
3
4
5
6
7
8
9
10
11
12
13

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