summaryrefslogtreecommitdiff
path: root/examples/regulus/Toy0.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/regulus/Toy0.gf')
-rw-r--r--examples/regulus/Toy0.gf18
1 files changed, 18 insertions, 0 deletions
diff --git a/examples/regulus/Toy0.gf b/examples/regulus/Toy0.gf
new file mode 100644
index 000000000..ed0ba51e8
--- /dev/null
+++ b/examples/regulus/Toy0.gf
@@ -0,0 +1,18 @@
+abstract Toy0 = {
+
+-- 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 ;
+
+}
+