1
0
forked from GitHub/gf-core

add numerals

This commit is contained in:
krasimir
2008-02-19 16:42:31 +00:00
parent e494274c07
commit f90ba44620
4 changed files with 187 additions and 0 deletions

View File

@@ -39,6 +39,11 @@ concrete CatBul of Cat = CommonX ** open ResBul, Prelude in {
Num = {s : Str; n : Number } ;
Quant = {s : AForm => Str; spec : Species} ;
-- Numeral
Numeral = {s : CardOrd => Str; n : Number} ;
Digits = {s : CardOrd => Str; n : Number; tail : DTail} ;
-- Structural
Subj = {s : Str} ;