took away old-examples

5 files changed, 0 insertions, 44 deletions

diff --git a/old-examples/tutorial/hello/Hello.gf b/old-examples/tutorial/hello/Hello.gf
deleted file mode 100644
index 769be5cbf..000000000
--- a/old-examples/tutorial/hello/Hello.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-abstract Hello = {
-
-  cat Greeting ; Recipient ;
-
-  flags startcat = Greeting ;
-
-  fun 
-    Hello : Recipient -> Greeting ;
-    World, Mum, Friends : Recipient ;
-}
\ No newline at end of file
diff --git a/old-examples/tutorial/hello/HelloEng.gf b/old-examples/tutorial/hello/HelloEng.gf
deleted file mode 100644
index 69efba6b4..000000000
--- a/old-examples/tutorial/hello/HelloEng.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-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
diff --git a/old-examples/tutorial/hello/HelloFin.gf b/old-examples/tutorial/hello/HelloFin.gf
deleted file mode 100644
index 969142a91..000000000
--- a/old-examples/tutorial/hello/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
diff --git a/old-examples/tutorial/hello/HelloIta.gf b/old-examples/tutorial/hello/HelloIta.gf
deleted file mode 100644
index f1465a867..000000000
--- a/old-examples/tutorial/hello/HelloIta.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-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"} ;
-}
\ No newline at end of file
diff --git a/old-examples/tutorial/hello/hello.gfs b/old-examples/tutorial/hello/hello.gfs
deleted file mode 100644
index 783919e0e..000000000
--- a/old-examples/tutorial/hello/hello.gfs
+++ /dev/null
@@ -1,4 +0,0 @@
-import HelloEng.gf
-import HelloFin.gf
-import HelloIta.gf
-linearize -multi Hello World