(Ger) ordinal endings of Digits fixed

2023-11-29 10:48:20 +01:00
parent 64ef1d9e49
commit 88be4ca0ae
2 changed files with 45 additions and 23 deletions
@@ -84,7 +84,7 @@ concrete CatGer of Cat =
 -- Numeral

    Numeral = {s : CardOrd => Str ; n : Number } ;
-    Digits = {s : CardOrd => Str ; n : Number } ;
+    Digits = {s : CardOrd => Str ; n : Number ; isDig, tail1to19 : Bool} ;
    Decimal = {s : CardOrd => Str ; n : Number ; hasDot : Bool} ;

 -- Structural