path: root/grammars/multiple/MathEng.gf

concrete MathEng of Math = open Prelude in {
  lin
    MkNumber i = i ;
} ;