examples/tutorial/embedded/QueryEng.gf


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

concrete QueryEng of Query = {
  lincat 
    Answer, Question, Object = Str ;

  lin 
    Even x = "is" ++ x ++ "even" ;
    Odd  x = "is" ++ x ++ "odd" ;
    Prime x = "is" ++ x ++ "prime" ;
    Number n = n.s ;

    Yes = "yes" ;
    No = "no" ;

}