examples/dialogue/Agenda.gf


1
2
3
4
5
6
7
8
9
10
11
12

abstract Agenda = Dialogue, Weekday ** {

  fun
    Day       : Kind ;
    Meeting   : Kind ;
    Add       : Oper2 Meeting Day ;
    Remove    : Oper1 Meeting ;
    Interrupt : Oper0 ;
   
    day : WDay -> Object Day ;

}