diff options
Diffstat (limited to 'examples/numerals/icelandic.gf')
| -rw-r--r-- | examples/numerals/icelandic.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/numerals/icelandic.gf b/examples/numerals/icelandic.gf index 1933f7332..37731783c 100644 --- a/examples/numerals/icelandic.gf +++ b/examples/numerals/icelandic.gf @@ -6,10 +6,12 @@ param Size = sg | less10 | pl ; oper LinDigit = {s : DForm => Str} ; +lincat Numeral = { s : Str } ; lincat Digit = LinDigit ; lincat Sub10 = {s : DForm => Str ; size : Size} ; lincat Sub100 = {s : Gen => Str ; size : Size} ; lincat Sub1000 = {s : Gen => Str ; size : Size} ; +lincat Sub1000000 = { s : Str } ; oper mkNum : Str -> Str -> Str -> Str -> LinDigit = \two -> \twelve -> \twenty -> \tvo -> |