diff --git a/lib/src/api/ConstructorsIna.gf b/lib/src/api/ConstructorsIna.gf new file mode 100644 index 000000000..a22046fa9 --- /dev/null +++ b/lib/src/api/ConstructorsIna.gf @@ -0,0 +1,3 @@ +--# -path=.:alltenses:prelude + +resource ConstructorsIna = Constructors with (Grammar = GrammarIna) ; diff --git a/lib/src/api/SyntaxIna.gf b/lib/src/api/SyntaxIna.gf new file mode 100644 index 000000000..d836d97aa --- /dev/null +++ b/lib/src/api/SyntaxIna.gf @@ -0,0 +1,4 @@ +--# -path=.:alltenses:prelude + +instance SyntaxIna of Syntax = ConstructorsIna, CatIna, StructuralIna, CombinatorsIna ; + diff --git a/lib/src/api/TryIna.gf b/lib/src/api/TryIna.gf new file mode 100644 index 000000000..1c050ffef --- /dev/null +++ b/lib/src/api/TryIna.gf @@ -0,0 +1,3 @@ +--# -path=.:alltenses:prelude + +resource TryIna = SyntaxIna, LexiconIna, ParadigmsIna - [mkAdv] ;