diff options
Diffstat (limited to 'old-examples/dialogue/Agenda.gf')
| -rw-r--r-- | old-examples/dialogue/Agenda.gf | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/old-examples/dialogue/Agenda.gf b/old-examples/dialogue/Agenda.gf new file mode 100644 index 000000000..970f7bc55 --- /dev/null +++ b/old-examples/dialogue/Agenda.gf @@ -0,0 +1,12 @@ +abstract Agenda = Dialogue, Weekday ** { + + fun + Day : Kind ; + Meeting : Kind ; + Add : Oper2 Meeting Day ; + Remove : Oper1 Meeting ; + Interrupt : Oper0 ; + + day : WDay -> Object Day ; + +} |
