1
0
forked from GitHub/gf-rgl

floating point numerals

This commit is contained in:
Krasimir Angelov
2023-07-24 20:06:01 +02:00
parent cb26429655
commit 5d912f78a4
17 changed files with 50 additions and 3 deletions
+2
View File
@@ -163,6 +163,8 @@ concrete NounPol of Noun = CatPol ** open ResPol, Prelude, PronounMorphoPol, Mor
-- NumDigits : Digits -> Card ; -- 51
NumDigits n = { s=\\_,_ => n.s; a=n.a; n=n.n };
NumFloat n1 n2 = { s=\\_,_ => n1.s ++ BIND ++ "." ++ BIND ++ n2.s; a=n1.a; n=Pl };
-- NumCard : Card -> Num ;
NumCard c = c ** { hasCard = True };