summaryrefslogtreecommitdiff
path: root/examples/model/MathEng.gf
blob: fcba8851be78caa630ae8fa119529dd6fab19921 (plain)
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) ;