just for fun: Roman numbers in the Latin grammar

2009-07-31 11:58:22 +00:00
parent 275ba77729
commit 9adc563a36
4 changed files with 50 additions and 54 deletions
@@ -59,7 +59,7 @@ concrete CatLat of Cat = CommonX ** open ResLat, Prelude in {
 ---- Numeral
 --
 --    Numeral = {s : CardOrd => Str ; n : Number} ;
--    Digits  = {s : CardOrd => Str ; n : Number ; tail : DTail} ;
+    Digits  = {s : Str ; unit : Unit} ;
 --
 ---- Structural
 --