mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-08-31 08:26:59 -06:00
20 lines
314 B
Plaintext
20 lines
314 B
Plaintext
concrete TenseCze of Tense =
|
|
CatCze **
|
|
open
|
|
ResCze,
|
|
Prelude
|
|
in {
|
|
lin
|
|
PNeg = {
|
|
s = "ne" ++ Predef.BIND ;
|
|
p = False
|
|
} ;
|
|
PPos = {
|
|
s = [] ;
|
|
p = True
|
|
} ;
|
|
ASimul = {s = [] ; t = CTPres} ;
|
|
TPres = {s = [] ; t = CTPres} ;
|
|
TTAnt t a = {s = t.s ++ a.s ; t = t.t} ; ----
|
|
|
|
} |