diff options
Diffstat (limited to 'doc/tutorial/old')
| -rw-r--r-- | doc/tutorial/old/Fish.gf | 4 | ||||
| -rw-r--r-- | doc/tutorial/old/FishEng.gf | 5 | ||||
| -rw-r--r-- | doc/tutorial/old/Gatherer.gf | 5 | ||||
| -rw-r--r-- | doc/tutorial/old/Gatherer.gif | bin | 12415 -> 0 bytes | |||
| -rw-r--r-- | doc/tutorial/old/GathererEng.gf | 5 | ||||
| -rw-r--r-- | doc/tutorial/old/Mushrooms.gf | 4 | ||||
| -rw-r--r-- | doc/tutorial/old/MushroomsEng.gf | 5 | ||||
| -rw-r--r-- | doc/tutorial/old/Neolithic.gf | 5 | ||||
| -rw-r--r-- | doc/tutorial/old/NeolithicEng.gf | 6 | ||||
| -rw-r--r-- | doc/tutorial/old/Paleolithic.gf | 16 | ||||
| -rw-r--r-- | doc/tutorial/old/PaleolithicEng.gf | 28 | ||||
| -rw-r--r-- | doc/tutorial/old/PaleolithicIta.gf | 28 | ||||
| -rw-r--r-- | doc/tutorial/old/paleolithic.cf | 23 | ||||
| -rw-r--r-- | doc/tutorial/old/paleolithic.ebnf | 8 |
14 files changed, 0 insertions, 142 deletions
diff --git a/doc/tutorial/old/Fish.gf b/doc/tutorial/old/Fish.gf deleted file mode 100644 index c404115e9..000000000 --- a/doc/tutorial/old/Fish.gf +++ /dev/null @@ -1,4 +0,0 @@ -abstract Fish = { - cat Fish ; - fun Salmon, Perch : Fish ; -} diff --git a/doc/tutorial/old/FishEng.gf b/doc/tutorial/old/FishEng.gf deleted file mode 100644 index 560f6cda4..000000000 --- a/doc/tutorial/old/FishEng.gf +++ /dev/null @@ -1,5 +0,0 @@ -concrete FishEng of Fish = { - lin - Salmon = {s = "salmon"} ; - Perch = {s = "perch"} ; -} diff --git a/doc/tutorial/old/Gatherer.gf b/doc/tutorial/old/Gatherer.gf deleted file mode 100644 index 4ef16485a..000000000 --- a/doc/tutorial/old/Gatherer.gf +++ /dev/null @@ -1,5 +0,0 @@ -abstract Gatherer = Paleolithic, Fish, Mushrooms ** { - fun - FishCN : Fish -> CN ; - MushroomCN : Mushroom -> CN ; -}
\ No newline at end of file diff --git a/doc/tutorial/old/Gatherer.gif b/doc/tutorial/old/Gatherer.gif Binary files differdeleted file mode 100644 index 758b8ea8b..000000000 --- a/doc/tutorial/old/Gatherer.gif +++ /dev/null diff --git a/doc/tutorial/old/GathererEng.gf b/doc/tutorial/old/GathererEng.gf deleted file mode 100644 index 3dfc7c8fd..000000000 --- a/doc/tutorial/old/GathererEng.gf +++ /dev/null @@ -1,5 +0,0 @@ -concrete GathererEng of Gatherer = PaleolithicEng, FishEng, MushroomsEng ** { - lin - UseFish x = x ; - UseMushroom x = x ; -} diff --git a/doc/tutorial/old/Mushrooms.gf b/doc/tutorial/old/Mushrooms.gf deleted file mode 100644 index 87f14de96..000000000 --- a/doc/tutorial/old/Mushrooms.gf +++ /dev/null @@ -1,4 +0,0 @@ -abstract Mushrooms = { - cat Mushroom ; - fun Cep, Agaric : Mushroom ; -} diff --git a/doc/tutorial/old/MushroomsEng.gf b/doc/tutorial/old/MushroomsEng.gf deleted file mode 100644 index d4e18d6d4..000000000 --- a/doc/tutorial/old/MushroomsEng.gf +++ /dev/null @@ -1,5 +0,0 @@ -concrete MushroomsEng of Mushrooms = { - lin - Cep = {s = "cep"} ; - Agaric = {s = "agaric"} ; -} diff --git a/doc/tutorial/old/Neolithic.gf b/doc/tutorial/old/Neolithic.gf deleted file mode 100644 index 2f5c6d116..000000000 --- a/doc/tutorial/old/Neolithic.gf +++ /dev/null @@ -1,5 +0,0 @@ -abstract Neolithic = Paleolithic ** { - fun - Fire, Wheel : CN ; - Think : V ; -} diff --git a/doc/tutorial/old/NeolithicEng.gf b/doc/tutorial/old/NeolithicEng.gf deleted file mode 100644 index 005781a7e..000000000 --- a/doc/tutorial/old/NeolithicEng.gf +++ /dev/null @@ -1,6 +0,0 @@ -concrete NeolithicEng of Neolithic = PaleolithicEng ** { - lin - Fire = {s = "fire"} ; - Wheel = {s = "wheel"} ; - Think = {s = "thinks"} ; -} diff --git a/doc/tutorial/old/Paleolithic.gf b/doc/tutorial/old/Paleolithic.gf deleted file mode 100644 index 05158ba18..000000000 --- a/doc/tutorial/old/Paleolithic.gf +++ /dev/null @@ -1,16 +0,0 @@ -abstract Paleolithic = { -cat - S ; NP ; VP ; CN ; A ; V ; TV ; - -fun - PredVP : NP -> VP -> S ; - UseV : V -> VP ; - ComplTV : TV -> NP -> VP ; - UseA : A -> VP ; - ModA : A -> CN -> CN ; - This, That, Def, Indef : CN -> NP ; - Boy, Louse, Snake, Worm : CN ; - Green, Rotten, Thick, Warm : A ; - Laugh, Sleep, Swim : V ; - Eat, Kill, Wash : TV ; -}
\ No newline at end of file diff --git a/doc/tutorial/old/PaleolithicEng.gf b/doc/tutorial/old/PaleolithicEng.gf deleted file mode 100644 index ac78f9d9d..000000000 --- a/doc/tutorial/old/PaleolithicEng.gf +++ /dev/null @@ -1,28 +0,0 @@ -concrete PaleolithicEng of Paleolithic = { -lincat - S, NP, VP, CN, A, V, TV = {s : Str} ; -lin - PredVP np vp = {s = np.s ++ vp.s} ; - UseV v = v ; - ComplTV tv np = {s = tv.s ++ np.s} ; - UseA a = {s = "is" ++ a.s} ; - This cn = {s = "this" ++ cn.s} ; - That cn = {s = "that" ++ cn.s} ; - Def cn = {s = "the" ++ cn.s} ; - Indef cn = {s = "a" ++ cn.s} ; - ModA a cn = {s = a.s ++ cn.s} ; - Boy = {s = "boy"} ; - Louse = {s = "louse"} ; - Snake = {s = "snake"} ; - Worm = {s = "worm"} ; - Green = {s = "green"} ; - Rotten = {s = "rotten"} ; - Thick = {s = "thick"} ; - Warm = {s = "warm"} ; - Laugh = {s = "laughs"} ; - Sleep = {s = "sleeps"} ; - Swim = {s = "swims"} ; - Eat = {s = "eats"} ; - Kill = {s = "kills"} ; - Wash = {s = "washes"} ; -}
\ No newline at end of file diff --git a/doc/tutorial/old/PaleolithicIta.gf b/doc/tutorial/old/PaleolithicIta.gf deleted file mode 100644 index 242c615d7..000000000 --- a/doc/tutorial/old/PaleolithicIta.gf +++ /dev/null @@ -1,28 +0,0 @@ -concrete PaleolithicIta of Paleolithic = { -lincat - S, NP, VP, CN, A, V, TV = {s : Str} ; -lin - PredVP np vp = {s = np.s ++ vp.s} ; - UseV v = v ; - ComplTV tv np = {s = tv.s ++ np.s} ; - UseA a = {s = "è" ++ a.s} ; - This cn = {s = "questo" ++ cn.s} ; - That cn = {s = "quello" ++ cn.s} ; - Def cn = {s = "il" ++ cn.s} ; - Indef cn = {s = "un" ++ cn.s} ; - ModA a cn = {s = cn.s ++ a.s} ; - Boy = {s = "ragazzo"} ; - Louse = {s = "pidocchio"} ; - Snake = {s = "serpente"} ; - Worm = {s = "verme"} ; - Green = {s = "verde"} ; - Rotten = {s = "marcio"} ; - Thick = {s = "grosso"} ; - Warm = {s = "caldo"} ; - Laugh = {s = "ride"} ; - Sleep = {s = "dorme"} ; - Swim = {s = "nuota"} ; - Eat = {s = "mangia"} ; - Kill = {s = "uccide"} ; - Wash = {s = "lava"} ; -} diff --git a/doc/tutorial/old/paleolithic.cf b/doc/tutorial/old/paleolithic.cf deleted file mode 100644 index 08496c800..000000000 --- a/doc/tutorial/old/paleolithic.cf +++ /dev/null @@ -1,23 +0,0 @@ -PredVP. S ::= NP VP ; -UseV. VP ::= V ; -ComplTV. VP ::= TV NP ; -UseA. VP ::= "is" A ; -This. NP ::= "this" CN ; -That. NP ::= "that" CN ; -Def. NP ::= "the" CN ; -Indef. NP ::= "a" CN ; -ModA. CN ::= A CN ; -Boy. CN ::= "boy" ; -Louse. CN ::= "louse" ; -Snake. CN ::= "snake" ; -Worm. CN ::= "worm" ; -Green. A ::= "green" ; -Rotten. A ::= "rotten" ; -Thick. A ::= "thick" ; -Warm. A ::= "warm" ; -Laugh. V ::= "laughs" ; -Sleep. V ::= "sleeps" ; -Swim. V ::= "swims" ; -Eat. TV ::= "eats" ; -Kill. TV ::= "kills" -Wash. TV ::= "washes" ; diff --git a/doc/tutorial/old/paleolithic.ebnf b/doc/tutorial/old/paleolithic.ebnf deleted file mode 100644 index cd091ae04..000000000 --- a/doc/tutorial/old/paleolithic.ebnf +++ /dev/null @@ -1,8 +0,0 @@ -S ::= NP VP ; -VP ::= V | TV NP | "is" A ; -NP ::= ("this" | "that" | "the" | "a") CN ; -CN ::= A CN ; -CN ::= "boy" | "louse" | "snake" | "worm" ; -A ::= "green" | "rotten" | "thick" | "warm" ; -V ::= "laughs" | "sleeps" | "swims" ; -TV ::= "eats" | "kills" | "washes" ; |
