summaryrefslogtreecommitdiff
path: root/old-examples/regulus/toy0/example-based/Toy0.gf
diff options
context:
space:
mode:
Diffstat (limited to 'old-examples/regulus/toy0/example-based/Toy0.gf')
-rw-r--r--old-examples/regulus/toy0/example-based/Toy0.gf15
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 ;
+}