SymbolicEng.gf « api « src « next-lib - gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/next-lib/src/api/SymbolicEng.gf

blob: 0ce4725fa0c8c7be26cec0bff739b7b05db863d7 (plain)

--# -path=.:present:prelude

resource SymbolicEng = Symbolic with 
  (Symbol = SymbolEng),
  (Syntax = SyntaxEng) ;