summaryrefslogtreecommitdiff
path: root/grammars/multiple/UserMathEng.gf
blob: c1a190b479aebf072cfe50d57aeba82a32fcb47d (plain)
1
2
3
4
5
6
concrete UserMathEng of UserMath = UserEng, MathEng ** open Prelude in
  {
  lin
    QSum x y = ss (["what is the sum of"] ++ x.s ++ "and" ++ y.s) ;
  }