summaryrefslogtreecommitdiff
path: root/next-lib/src/api/SymbolicFre.gf
blob: ee0b2acc91ef4836d36146c292ed8a3194378d18 (plain)
1
2
3
4
5
--# -path=.:present:mathematical:prelude

resource SymbolicFre = Symbolic with 
  (Symbol = SymbolFre),
  (Grammar = GrammarFre) ;