diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/numerals/tukang_besi.gf | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
Remove contribs and examples
Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/numerals/tukang_besi.gf')
| -rw-r--r-- | examples/numerals/tukang_besi.gf | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/examples/numerals/tukang_besi.gf b/examples/numerals/tukang_besi.gf deleted file mode 100644 index f04241ce6..000000000 --- a/examples/numerals/tukang_besi.gf +++ /dev/null @@ -1,46 +0,0 @@ -concrete tukang_besi of Numerals = { --- include numerals.Abs.gf ; - -param DForm = u | v ; - -oper LinDigit = {s : DForm => Str } ; - -lincat Numeral = { s : Str } ; -lincat Digit = LinDigit ; -lincat Sub10 = LinDigit ; -lincat Sub100 = LinDigit ; -lincat Sub1000 = LinDigit ; -lincat Sub1000000 = { s : Str } ; - -oper bind : Str -> Str -> Str = \a -> \b -> a ++ b ; - -oper mkNum : Str -> LinDigit = \a -> {s = table {_ => a}} ; -oper mkNum2 : Str -> Str -> LinDigit = \a -> \b -> {s = table {u => a ; v => b}} ; - -lin num x = x ; --- lin n1 mkNum "sa'asa" ; -lin n2 = mkNum "dua" ; -lin n3 = mkNum "tolu" ; -lin n4 = mkNum2 "gana" "hato"; -lin n5 = mkNum "lima" ; -lin n6 = mkNum2 "no'o" "nomo" ; -lin n7 = mkNum2 "pitu" "hitu" ; -lin n8 = mkNum "alu" ; -lin n9 = mkNum "sia" ; - -lin pot01 = mkNum2 "sa'asa" "sa" ; -lin pot0 d = d ; -lin pot110 = {s = table {_ => "ompulu" }}; -lin pot111 = {s = table {u => "ompulu" ++ "sa'asa" ; v => "ompulu" ++ "sa"}} ; -lin pot1to19 d = {s = table {f => "ompulu" ++ d.s ! f}} ; -lin pot0as1 n = n ; -lin pot1 d = {s = table {_ => bind (d.s ! v) "hulu" }} ; -lin pot1plus d e = {s = table {f => (bind (d.s ! v) "hulu") ++ e.s ! f}} ; -lin pot1as2 n = n ; -lin pot2 d = {s = table {_ => bind (d.s ! v) "hatu" }} ; -lin pot2plus d e = {s = table {f => (bind (d.s ! v) "hatu") ++ e.s ! f}} ; -lin pot2as3 n = {s = n.s ! u}; -lin pot3 n = {s = bind (n.s ! v) "riwu" } ; -lin pot3plus n m = {s = (bind (n.s ! v) "riwu") ++ m.s ! u } ; - -} |
