diff options
Diffstat (limited to 'examples/numerals/margi.gf')
| -rw-r--r-- | examples/numerals/margi.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/numerals/margi.gf b/examples/numerals/margi.gf index 4043d4580..27a7f9377 100644 --- a/examples/numerals/margi.gf +++ b/examples/numerals/margi.gf @@ -5,6 +5,8 @@ param Size = sg | pl ; oper LinDigit = {s : DForm => Str ; size : Size} ; oper LinS100 = {s : Str ; s2 : Str ; size : Size} ; + +lincat Numeral = { s : Str } ; lincat Digit = LinDigit ; lincat Sub10 = LinDigit ; lincat Sub100 = LinS100 ; |
