gf-3.1.6: examples/tutorial/hello/Hello.gf

abstract Hello = {

  cat Greeting ; Recipient ;

  flags startcat = Greeting ;

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