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, 0 insertions, 18 deletions
diff --git a/examples/regulus/Toy0.gf b/examples/regulus/Toy0.gf
deleted file mode 100644
index ed0ba51e8..000000000
--- a/examples/regulus/Toy0.gf
+++ /dev/null
@@ -1,18 +0,0 @@
-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 ;
-
-}
-