examples/model/MathFre.gf


1
2
3
4
5
6
7

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

concrete MathFre of Math = MathI with
  (Grammar = GrammarFre), 
  (Combinators = CombinatorsFre), 
  (Predication = PredicationFre), 
  (Lex = LexFre) ;