diff options
Diffstat (limited to 'old-examples/regulus/toy0/example-based/Toy0.gf')
| -rw-r--r-- | old-examples/regulus/toy0/example-based/Toy0.gf | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/old-examples/regulus/toy0/example-based/Toy0.gf b/old-examples/regulus/toy0/example-based/Toy0.gf new file mode 100644 index 000000000..b1e2d6a40 --- /dev/null +++ b/old-examples/regulus/toy0/example-based/Toy0.gf @@ -0,0 +1,15 @@ +-- toy0 grammar from Chapter 2 of the Regulus book +abstract Toy0 = { + + flags startcat=NP ; + + cat + NP ; + Noun ; + Spec ; + + fun + SpecNoun : Spec -> Noun -> NP ; + One, Two : Spec ; + Felis, Canis : Noun ; +} |
