mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-25 09:13:18 -06:00
uncomment SymbolicRon
This commit is contained in:
1 parent
42f5601840
commit
2bfbe7dbb8
1 file changed
+3
-3
@@ -1,5 +1,5 @@
|
||||
--# -path=.:present:mathematical:prelude
|
||||
|
||||
resource SymbolicRon = {} -- Symbolic with
|
||||
-- (Symbol = SymbolRon),
|
||||
-- (Grammar = GrammarRon) ;
|
||||
resource SymbolicRon = Symbolic with
|
||||
(Symbol = SymbolRon),
|
||||
(Grammar = GrammarRon) ;
|
||||
Reference in new issue
Block a user