summaryrefslogtreecommitdiff
path: root/doc/tutorial/HelloFin.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-08-16 16:18:54 +0000
committeraarne <aarne@cs.chalmers.se>2007-08-16 16:18:54 +0000
commit6234e536f63e3e803286b94cee8a0e0a3adcdcb2 (patch)
tree76151e2a18d5dc2e724f99b066860b4cb7897240 /doc/tutorial/HelloFin.gf
parent5f0e8a16ecbf06a6dad344ce2ef0974692ffc581 (diff)
moved tutorial examples to GF/examples
Diffstat (limited to 'doc/tutorial/HelloFin.gf')
-rw-r--r--doc/tutorial/HelloFin.gf10
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/tutorial/HelloFin.gf b/doc/tutorial/HelloFin.gf
deleted file mode 100644
index 969142a91..000000000
--- a/doc/tutorial/HelloFin.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-concrete HelloFin of Hello = {
-
- lincat Greeting, Recipient = {s : Str} ;
-
- lin
- Hello rec = {s = "terve" ++ rec.s} ;
- World = {s = "maailma"} ;
- Mum = {s = "äiti"} ;
- Friends = {s = "ystävät"} ;
-} \ No newline at end of file