path: root/doc/tutorial/Hello.gf

abstract Hello = {

  cat Greeting ; Recipient ;

  flags startcat = Greeting ;

  fun 
    Hello : Recipient -> Greeting ;
    World, Mum, Friends : Recipient ;
}