diff options
Diffstat (limited to 'eclipse/examples/hello/HelloAbs.gf')
| -rw-r--r-- | eclipse/examples/hello/HelloAbs.gf | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/eclipse/examples/hello/HelloAbs.gf b/eclipse/examples/hello/HelloAbs.gf deleted file mode 100644 index 70ab490bf..000000000 --- a/eclipse/examples/hello/HelloAbs.gf +++ /dev/null @@ -1,12 +0,0 @@ -abstract HelloAbs = AbsCat [Greeting, Recipient] ** { - - flags startcat = Greeting ; - - cat Farewell ; - - fun - Hello : Recipient -> Greeting ; - Goodbye : Recipient -> Farewell ; - World, Parent, Friends : Recipient ; - -} |