diff options
Diffstat (limited to 'examples/lrec-tutorial/face/Face.gf')
| -rw-r--r-- | examples/lrec-tutorial/face/Face.gf | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/examples/lrec-tutorial/face/Face.gf b/examples/lrec-tutorial/face/Face.gf deleted file mode 100644 index 9259363da..000000000 --- a/examples/lrec-tutorial/face/Face.gf +++ /dev/null @@ -1,14 +0,0 @@ -abstract Face = { - -flags startcat = Message ; - -cat - Message ; Person ; Object ; Number ; -fun - Have : Person -> Number -> Object -> Message ; - Like : Person -> Object -> Message ; - You : Person ; - Friend, Invitation : Object ; - One, Two, Hundred : Number ; - -} |
