forked from GitHub/gf-rgl
Update the lin type for DAP
This commit is contained in:
@@ -20,6 +20,7 @@ concrete CatTur of Cat = CommonX ** open ResTur, Prelude in {
|
|||||||
Quant = {s : Str; useGen : UseGen} ;
|
Quant = {s : Str; useGen : UseGen} ;
|
||||||
Prep = {s : Str; c : Case} ;
|
Prep = {s : Str; c : Case} ;
|
||||||
PrepNP = {s : Str} ;
|
PrepNP = {s : Str} ;
|
||||||
|
DAP = {s : Number => Case => Str} ;
|
||||||
|
|
||||||
Numeral = {s : CardOrd => Number => Case => Str ; n : Number} ;
|
Numeral = {s : CardOrd => Number => Case => Str ; n : Number} ;
|
||||||
Digits = {s : CardOrd => Number => Case => Str ; n : Number; tail : DTail} ;
|
Digits = {s : CardOrd => Number => Case => Str ; n : Number; tail : DTail} ;
|
||||||
|
|||||||
Reference in New Issue
Block a user