examples/tutorial/hello/HelloEng.gf


1
2
3
4
5
6
7
8
9
10

concrete HelloEng of Hello = {

  lincat Greeting, Recipient = {s : Str} ;

  lin 
    Hello rec = {s = "hello" ++ rec.s} ;
    World = {s = "world"} ;
    Mum = {s = "mum"} ;
    Friends = {s = "friends"} ;
}