gf-rgl/next-resource/api/SymbolicEng.gf at 1ae612ea1ae7fe59f4734c5e1b1d24a14722fd6c - gf-rgl - GupHub

GitHub/gf-rgl

mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-05-30 02:18:55 -06:00

Files

aarne f061f30a71 moved Symbol and Symbolic to new places to eliminate mathematical in next-resource

2008-09-13 10:39:18 +00:00

6 lines

116 B

Plaintext

Raw Blame History

 --# -path=.:present:prelude
 resource SymbolicEng = Symbolic with
   (Symbol = SymbolEng),
   (Syntax = SyntaxEng) ;