diff options
Diffstat (limited to 'examples/tutorial/embedded/Query.gf')
| -rw-r--r-- | examples/tutorial/embedded/Query.gf | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/examples/tutorial/embedded/Query.gf b/examples/tutorial/embedded/Query.gf deleted file mode 100644 index b1ba23a87..000000000 --- a/examples/tutorial/embedded/Query.gf +++ /dev/null @@ -1,17 +0,0 @@ -abstract Query = { - - flags startcat=Question ; - - cat - Answer ; Question ; Object ; - - fun - Even : Object -> Question ; - Odd : Object -> Question ; - Prime : Object -> Question ; - Number : Int -> Object ; - - Yes : Answer ; - No : Answer ; -} - |