just for fun: Roman numbers in the Latin grammar

This commit is contained in:
krasimir
2009-07-31 11:58:22 +00:00
parent 219f19d265
commit 171556dc9a
4 changed files with 50 additions and 54 deletions

View File

@@ -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
--