summaryrefslogtreecommitdiff
path: root/doc/tutorial/HelloEng.gf
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tutorial/HelloEng.gf')
-rw-r--r--doc/tutorial/HelloEng.gf10
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/tutorial/HelloEng.gf b/doc/tutorial/HelloEng.gf
new file mode 100644
index 000000000..69efba6b4
--- /dev/null
+++ b/doc/tutorial/HelloEng.gf
@@ -0,0 +1,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"} ;
+} \ No newline at end of file