diff --git a/lib/src/api/CombinatorsMlt.gf b/lib/src/api/CombinatorsMlt.gf new file mode 100644 index 000000000..422dd6e1f --- /dev/null +++ b/lib/src/api/CombinatorsMlt.gf @@ -0,0 +1,6 @@ +--# -path=.:alltenses:prelude + +resource CombinatorsMlt = Combinators with + (Cat = CatMlt), + (Structural = StructuralMlt), + (Constructors = ConstructorsMlt) ; diff --git a/lib/src/api/ConstructorsMlt.gf b/lib/src/api/ConstructorsMlt.gf new file mode 100644 index 000000000..2526325b3 --- /dev/null +++ b/lib/src/api/ConstructorsMlt.gf @@ -0,0 +1,3 @@ +--# -path=.:alltenses:prelude + +resource ConstructorsMlt = Constructors with (Grammar = GrammarMlt) ; diff --git a/lib/src/api/SymbolicMlt.gf b/lib/src/api/SymbolicMlt.gf new file mode 100644 index 000000000..1a40e4763 --- /dev/null +++ b/lib/src/api/SymbolicMlt.gf @@ -0,0 +1,5 @@ +--# -path=.:present:mathematical:prelude + +resource SymbolicMlt = Symbolic with + (Symbol = SymbolMlt), + (Grammar = GrammarMlt) ; diff --git a/lib/src/api/SyntaxMlt.gf b/lib/src/api/SyntaxMlt.gf new file mode 100644 index 000000000..42e1c936c --- /dev/null +++ b/lib/src/api/SyntaxMlt.gf @@ -0,0 +1,5 @@ +--# -path=.:alltenses:prelude + +instance SyntaxMlt of Syntax = + ConstructorsMlt, CatMlt, StructuralMlt, CombinatorsMlt ; + diff --git a/lib/src/api/TryMlt.gf b/lib/src/api/TryMlt.gf new file mode 100644 index 000000000..bf304242c --- /dev/null +++ b/lib/src/api/TryMlt.gf @@ -0,0 +1,6 @@ +--# -path=.:alltenses:prelude + +resource TryMlt = SyntaxMlt, LexiconMlt, ParadigmsMlt ** + open (P = ParadigmsMlt) in { + +}