diff options
Diffstat (limited to 'examples/regulus/toy0/no-resource/Toy0_eng.gf')
| -rw-r--r-- | examples/regulus/toy0/no-resource/Toy0_eng.gf | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/examples/regulus/toy0/no-resource/Toy0_eng.gf b/examples/regulus/toy0/no-resource/Toy0_eng.gf deleted file mode 100644 index ed8fe8063..000000000 --- a/examples/regulus/toy0/no-resource/Toy0_eng.gf +++ /dev/null @@ -1,39 +0,0 @@ --- grammar from Chapter 2 of the Regulus book - -flags startcat=MAIN ; - -cat - MAIN ; NP ; Noun ; Spec ; - -fun - Main : NP -> MAIN ; - SpecNoun : Spec -> Noun -> NP ; - - One, Two : Spec ; - Felis, Canis : Noun ; - -param - Number = Sg | Pl ; - -lincat - Spec = {s : Str ; n : Number} ; - Noun = {s : Number => Str} ; - MAIN,NP = {s : Str} ; - -lin - Main np = np ; - SpecNoun spec noun = {s = spec.s ++ noun.s ! spec.n} ; - - One = {s = "one" ; n = Sg} ; - Two = {s = "two" ; n = Pl} ; - - Felis = regNoun "cat" ; - Canis = regNoun "dog" ; - -oper - regNoun : Str -> {s : Number => Str} = \s -> { - s = table { - Sg => s ; - Pl => s + "s" - } - } ; |
