forked from GitHub/gf-rgl
kitukb
bd556c7789
* added Bantu functor * added egekusii language based on Bantu functor * added kikamba language based on Bantu functor * added kiswahili language based on Bantu functor
16 lines
486 B
Plaintext
16 lines
486 B
Plaintext
incomplete concrete TenseBantu of Tense =
|
|
CatBantu [Tense,Temp], TenseX [Ant,AAnter,ASimul] **
|
|
open ResBantu, CommonBantu, Prelude in {
|
|
|
|
lin
|
|
TTAnt t a = {s = a.s ++ t.s ; a = a.a ; t = t.t} ;
|
|
TPres = {s = []} ** {t = RPres} ;
|
|
TPast = {s = []} ** {t = RPast} ; --# notpresent
|
|
TFut = {s = []} ** {t = RFut} ; --# notpresent
|
|
TCond = {s = []} ** {t = RCond} ; --# notpresent
|
|
|
|
PPos = {s = [] ; p = RPos} ;
|
|
PNeg = {s = [] ; p = RNeg False} ;
|
|
|
|
}
|