diff options
Diffstat (limited to 'doc/tutorial/resource')
| -rw-r--r-- | doc/tutorial/resource/LexEng.gf | 34 | ||||
| -rw-r--r-- | doc/tutorial/resource/LexFoods.gf | 4 | ||||
| -rw-r--r-- | doc/tutorial/resource/LexIta.gf | 46 |
3 files changed, 0 insertions, 84 deletions
diff --git a/doc/tutorial/resource/LexEng.gf b/doc/tutorial/resource/LexEng.gf deleted file mode 100644 index c939aac9f..000000000 --- a/doc/tutorial/resource/LexEng.gf +++ /dev/null @@ -1,34 +0,0 @@ ---# -path=.:prelude - -resource LexEng = open SyntaxEng, MorphoEng, Prelude in { - - oper - - -- constructors for open lexicon - - mkN : (man,men : Str) -> CN ; - regN : (car : Str) -> CN ; - - mkA : (hot : Str) -> AP ; - - mkV : (go,goes : Str) -> V ; - regV : (walk : Str) -> V ; - - mkV2 : (look : V) -> (at : Str) -> V2 ; - dirV2 : (eat : V) -> V2 ; - - -------------------------------------------- - -- definitions, hidden from users - - mkN x y = mkNoun x y ** {lock_CN = <>} ; - regN x = regNoun x ** {lock_CN = <>} ; - - mkA x = ss x ** {lock_AP = <>} ; - - mkV x y = mkVerb x y ** {lock_V = <>} ; - regV x = regVerb x ** {lock_V = <>} ; - - mkV2 x p = x ** {c = p ; lock_V2 = <>} ; - dirV2 x = mkV2 x [] ; - -} diff --git a/doc/tutorial/resource/LexFoods.gf b/doc/tutorial/resource/LexFoods.gf deleted file mode 100644 index 5bda608a3..000000000 --- a/doc/tutorial/resource/LexFoods.gf +++ /dev/null @@ -1,4 +0,0 @@ -interface LexFoods = open Syntax in { - - -}
\ No newline at end of file diff --git a/doc/tutorial/resource/LexIta.gf b/doc/tutorial/resource/LexIta.gf deleted file mode 100644 index 0b8940e1e..000000000 --- a/doc/tutorial/resource/LexIta.gf +++ /dev/null @@ -1,46 +0,0 @@ ---# -path=.:prelude - -resource LexIta = open SyntaxIta, MorphoIta, Prelude in { - - oper - - -- constructors for genders - - Gender : Type ; - masculine, feminine : Gender ; - - -- constructors for open lexicon - - mkN : Gender -> (vino,vini : Str) -> CN ; - regN : (vino : Str) -> CN ; - femN : CN -> CN ; - - mkA : (nero,nera,neri,nere : Str) -> AP ; - regA : (nero : Str) -> AP ; - - mkV : (ama,amano : Str) -> V ; - regV : (amare : Str) -> V ; - - mkV2 : (aspettare : V) -> (a : Str) -> V2 ; - dirV2 : (mangiare : V) -> V2 ; - - -------------------------------------------- - -- definitions, hidden from users - - Gender = MorphoIta.Gender ; - masculine = Masc ; - feminine = Fem ; - - mkN g x y = mkNoun g x y ** {lock_CN = <>} ; - regN x = regNoun x ** {lock_CN = <>} ; - - mkA x y z u = mkAdjective x y z u ** {lock_AP = <>} ; - regA x = regAdjective x ** {lock_AP = <>} ; - - mkV x y = mkVerb x y ** {lock_V = <>} ; - regV x = regVerb x ** {lock_V = <>} ; - - mkV2 x p = x ** {c = p ; lock_V2 = <>} ; - dirV2 x = mkV2 x [] ; - -} |
