examples/tutorial/hello/HelloIta.gf


1
2
3
4
5
6
7
8
9
10

concrete HelloIta of Hello = {

  lincat Greeting, Recipient = {s : Str} ;

  lin 
    Hello rec = {s = "ciao" ++ rec.s} ;
    World = {s = "mondo"} ;
    Mum = {s = "mamma"} ;
    Friends = {s = "amici"} ;
}