diff options
Diffstat (limited to 'old-examples/regulus/toy0/Toy0I.gf')
| -rw-r--r-- | old-examples/regulus/toy0/Toy0I.gf | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/old-examples/regulus/toy0/Toy0I.gf b/old-examples/regulus/toy0/Toy0I.gf deleted file mode 100644 index efb6e730a..000000000 --- a/old-examples/regulus/toy0/Toy0I.gf +++ /dev/null @@ -1,18 +0,0 @@ -incomplete concrete Toy0I of Toy0 = open Syntax, Lexicon in { - -lincat - Spec = Det ; - Noun = N ; - NP = Utt ; - -lin - SpecNoun spec noun = mkUtt (mkNP spec noun) ; - - One = mkDet n1_Numeral ; - Two = mkDet n2_Numeral ; - - Felis = cat_N ; - Canis = dog_N ; - -} - |