work on ordinal numbers

2019-10-13 17:30:28 +02:00
parent 4e0bcecb4e
commit a178f700f6
3 changed files with 102 additions and 74 deletions
@@ -105,8 +105,10 @@ concrete NounLat of Noun = CatLat ** open ResLat, Prelude, ConjunctionLat in {
    --    OrdDigits n = {s = n.s ! NOrd} ;
    --
  lin
--    NumNumeral numeral = numeral.s ;
--    OrdNumeral numeral = numeral.ord ;
+    -- NumNumeral : Numeral -> Card ;  -- fifty-one
+    NumNumeral numeral = { s = numeral.s ; n = numeral.n } ;
+    -- OrdNumeral : Numeral -> Ord ;  -- fifty-first
+    OrdNumeral numeral = { s = numeral.ord } ;
 --
 --    AdNum adn num = {s = adn.s ++ num.s ; n = num.n} ;
 --