mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-10-27 17:53:18 -06:00
added Ina api files
This commit is contained in:
1 parent
6b3b2ecb96
commit
0a03b158d4
3 files changed
+10
No files matched your search
@@ -0,0 +1,4 @@
|
||||
--# -path=.:alltenses:prelude
|
||||
|
||||
instance SyntaxIna of Syntax = ConstructorsIna, CatIna, StructuralIna, CombinatorsIna ;
|
||||
|
||||
Reference in new issue
Block a user