examples-3.0/tutorial/semantics/BaseSwe.gf


1
2
3
4
5
6
7
8

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

concrete BaseSwe of Base = BaseI with
  (Syntax = SyntaxSwe), 
  (Grammar = GrammarSwe), 
  (G = GrammarSwe), 
  (Symbolic = SymbolicSwe), 
  (LexBase = LexBaseSwe) ;