Files
gf-core/grammars/multiple/UserMathEng.gf
T

7 lines
154 B
Plaintext

concrete UserMathEng of UserMath = UserEng, MathEng ** open Prelude in
{
lin
QSum x y = ss (["what is the sum of"] ++ x.s ++ "and" ++ y.s) ;
}