eclipse/examples/hello/HelloAbs.gf


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

abstract HelloAbs = AbsCat [Greeting, Recipient] ** {

	flags startcat = Greeting ;
	
	cat Farewell ;
	
	fun 
		Hello : Recipient -> Greeting ;
		Goodbye : Recipient -> Farewell ;
		World, Parent, Friends : Recipient ;

}