Thai api files in place

This commit is contained in:
aarne
2011-11-07 13:44:24 +00:00
parent 7cbf532735
commit 6c076cf620
7 changed files with 93 additions and 499 deletions

View File

@@ -0,0 +1,3 @@
--# -path=.:alltenses:prelude
resource ConstructorsTha = Constructors with (Grammar = GrammarTha) ;

5
lib/src/api/SyntaxTha.gf Normal file
View File

@@ -0,0 +1,5 @@
--# -path=.:./alltenses:../prelude
instance SyntaxTha of Syntax =
ConstructorsTha, CatTha, StructuralTha, CombinatorsTha ;

12
lib/src/api/TryTha.gf Normal file
View File

@@ -0,0 +1,12 @@
--# -path=.:alltenses
resource TryTha = SyntaxTha, LexiconTha, ParadigmsTha -[mkDet,mkQuant]**
open (P = ParadigmsTha) in {
-- oper
-- mkAdv = overload SyntaxTha {
-- mkAdv : Str -> Adv = P.mkAdv ;
-- } ;
}