examples/model/MathEng.gf


1
2
3
4
5
6
7

--# -path=.:api:present:prelude:mathematical

concrete MathEng of Math = MathI with
  (Grammar = GrammarEng), 
  (Combinators = CombinatorsEng), 
  (Predication = PredicationEng), 
  (Lex = LexEng) ;