examples/tutorial/semantics/BaseIEng.gf


1
2
3
4
5
6
7
8

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

concrete BaseIEng of Base = BaseI with
  (Syntax = SyntaxEng), 
  (Grammar = GrammarEng), 
  (G = GrammarEng), 
  (Symbolic = SymbolicEng), 
  (LexBase = LexBaseEng) ;