mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-05-27 17:08:54 -06:00
add Sub1000000000 and Sub1000000000000
This commit is contained in:
@@ -9,14 +9,9 @@ lincat
|
|||||||
n : Size } ;
|
n : Size } ;
|
||||||
Sub10 = {s : DForm => CardOrd => Gender => State => Case => Str ;
|
Sub10 = {s : DForm => CardOrd => Gender => State => Case => Str ;
|
||||||
n : Size } ;
|
n : Size } ;
|
||||||
Sub100 = {s : CardOrd => Gender => State => Case => Str ;
|
Sub100, Sub1000, Sub1000000, Sub1000000000, Sub1000000000000
|
||||||
|
= {s : CardOrd => Gender => State => Case => Str ;
|
||||||
n : Size} ;
|
n : Size} ;
|
||||||
Sub1000 = {s : CardOrd => Gender => State => Case => Str ;
|
|
||||||
n : Size } ;
|
|
||||||
Sub1000000 = {s : CardOrd => Gender => State => Case => Str ;
|
|
||||||
n : Size} ;
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
lin num x = x ;
|
lin num x = x ;
|
||||||
|
|
||||||
@@ -109,6 +104,9 @@ lincat
|
|||||||
--lin pot3plus n m = {
|
--lin pot3plus n m = {
|
||||||
-- s = \\c => n.s ! NCard ++ "تهُْسَند" ++ m.s ! c ; n = Pl} ;
|
-- s = \\c => n.s ! NCard ++ "تهُْسَند" ++ m.s ! c ; n = Pl} ;
|
||||||
|
|
||||||
|
lin pot3as4 n = n ;
|
||||||
|
lin pot4as5 n = n ;
|
||||||
|
|
||||||
-- numerals as sequences of digits
|
-- numerals as sequences of digits
|
||||||
|
|
||||||
lincat
|
lincat
|
||||||
|
|||||||
Reference in New Issue
Block a user