Moved the different versions of the toy0 concrete modules to different subdirectories.

1 files changed, 0 insertions, 27 deletions

diff --git a/examples/regulus/toy0/Toy0Eng.gf b/examples/regulus/toy0/Toy0Eng.gf
deleted file mode 100644
index 977fb09c5..000000000
--- a/examples/regulus/toy0/Toy0Eng.gf
+++ /dev/null
@@ -1,27 +0,0 @@
-concrete Toy0Eng of Toy0 = {
-
-param
-  Number = Sg | Pl ;
-
-lincat
-  Spec = {s : Str ; n : Number} ;
-  Noun = {s : Number => Str} ;
-  NP = {s : Str} ;
-
-lin
-  SpecNoun spec noun = {s = spec.s ++ noun.s ! spec.n} ;
-
-  One = {s = "one" ; n = Sg} ;
-  Two = {s = "two" ; n = Pl} ;
-
-  Felis = regNoun "cat" ;
-  Canis = regNoun "dog" ;
-
-oper
-  regNoun : Str -> {s : Number => Str} = \s -> {
-    s = table {
-      Sg => s ;
-      Pl => s + "s"
-      }
-    } ;
-}