diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/tutorial/hello | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
Remove contribs and examples
Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/tutorial/hello')
| -rw-r--r-- | examples/tutorial/hello/Hello.gf | 10 | ||||
| -rw-r--r-- | examples/tutorial/hello/HelloEng.gf | 10 | ||||
| -rw-r--r-- | examples/tutorial/hello/HelloFin.gf | 10 | ||||
| -rw-r--r-- | examples/tutorial/hello/HelloIta.gf | 10 | ||||
| -rw-r--r-- | examples/tutorial/hello/hello.gfs | 4 |
5 files changed, 0 insertions, 44 deletions
diff --git a/examples/tutorial/hello/Hello.gf b/examples/tutorial/hello/Hello.gf deleted file mode 100644 index 769be5cbf..000000000 --- a/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/examples/tutorial/hello/HelloEng.gf b/examples/tutorial/hello/HelloEng.gf deleted file mode 100644 index 69efba6b4..000000000 --- a/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/examples/tutorial/hello/HelloFin.gf b/examples/tutorial/hello/HelloFin.gf deleted file mode 100644 index 969142a91..000000000 --- a/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/examples/tutorial/hello/HelloIta.gf b/examples/tutorial/hello/HelloIta.gf deleted file mode 100644 index f1465a867..000000000 --- a/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/examples/tutorial/hello/hello.gfs b/examples/tutorial/hello/hello.gfs deleted file mode 100644 index 3a18fee52..000000000 --- a/examples/tutorial/hello/hello.gfs +++ /dev/null @@ -1,4 +0,0 @@ -import HelloEng.gf -import HelloFin.gf -import HelloIta.gf -linearize Hello World |