gf-book/examples/chapter7/QueryFin.gf


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

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