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

1 files changed, 0 insertions, 268 deletions

diff --git a/examples/miniresource/MiniresourceEng.gf b/examples/miniresource/MiniresourceEng.gf
deleted file mode 100644
index 7fb85394e..000000000
--- a/examples/miniresource/MiniresourceEng.gf
+++ /dev/null
@@ -1,268 +0,0 @@
-concrete MiniresourceEng of Miniresource = open Prelude in {
-
--- module GrammarEng
-
-  lincat  
-    S  = {s : Str} ;
-    Cl = {s : ClForm => TTense => Bool => Str} ; 
-    NP = NounPhrase ;  
-      -- {s : Case => Str ; a : Agr} ; 
-    VP = VerbPhrase ;  
-      -- {v : AgrVerb ; compl : Str} ;
-    AP = {s : Str} ;
-    CN = Noun ;           -- {s : Number => Str} ;
-    Det = {s : Str ; n : Number} ;
-    N = Noun ;            -- {s : Number => Str} ;
-    A = Adj ;             -- {s : Str} ;
-    V = Verb ;            -- {s : VForm => Str} ;
-    V2 = Verb ** {c : Str} ;
-    AdA = {s : Str} ;
-    Tense = {s : Str ; t : TTense} ;
-    Pol = {s : Str ; b : Bool} ;
-    Conj = {s : Str ; n : Number} ;
-  lin
-    UseCl t p cl = {s = t.s ++ p.s ++ cl.s ! ClDir ! t.t ! p.b} ; 
-    PredVP np vp = {
-      s = \\d,t,b => 
-        let 
-          vps = vp.verb.s ! d ! t ! b ! np.a 
-        in case d of {
-          ClDir => np.s ! Nom ++ vps.fin ++ vps.inf ++ vp.compl ;
-          ClInv => vps.fin ++ np.s ! Nom ++ vps.inf ++ vp.compl
-          }
-      } ;
-
-    ComplV2 v2 np = {
-      verb = agrV v2 ; 
-      compl = v2.c ++ np.s ! Acc
-      } ;
-
-    UseV v = {
-      verb = agrV v ; 
-      compl = []
-      } ;
-
-    DetCN det cn = {
-      s = \\_ => det.s ++ cn.s ! det.n ;
-      a = Ag det.n Per3
-      } ;
-
-    ModCN ap cn = {
-      s = \\n => ap.s ++ cn.s ! n
-      } ;
-
-    CompAP ap = {
-      verb = copula ;
-      compl = ap.s 
-      } ;
-
-    AdAP ada ap = {
-      s = ada.s ++ ap.s
-      } ;
-
-    ConjS  co x y = {s = x.s ++ co.s ++ y.s} ;
-
-    ConjNP co nx ny = {
-      s = \\c => nx.s ! c ++ co.s ++ ny.s ! c ;
-      a = conjAgr co.n nx.a ny.a
-      } ;
-
-    UseN n = n ;
-
-    UseA adj = adj ;
-
-    a_Det = mkDet (pre {#vowel => "an" ; _ => "a"}) Sg ;
-
-    every_Det = mkDet "every" Sg ;
-
-    the_Det = mkDet "the" Sg ;
-    this_Det = mkDet "this" Sg ;
-    these_Det = mkDet "these" Pl ;
-    that_Det = mkDet "that" Sg ;
-    those_Det = mkDet "those" Pl ;
-
-    i_NP = pronNP "I" "me" Sg Per1 ;
-    youSg_NP = pronNP "you" "you" Sg Per2 ;
-    he_NP = pronNP "he" "him" Sg Per3 ;
-    she_NP = pronNP "she" "her" Sg Per3 ;
-    we_NP = pronNP "we" "us" Pl Per1 ;
-    youPl_NP = pronNP "you" "you" Pl Per2 ;
-    they_NP = pronNP "they" "them" Pl Per3 ;
-
-    very_AdA = ss "very" ;
-
-    Pos  = {s = [] ; b = True} ;
-    Neg  = {s = [] ; b = False} ;
-    Pres = {s = [] ; t = TPres} ;
-    Perf = {s = [] ; t = TPerf} ;
-
-    and_Conj = {s = "and" ; n = Pl} ;
-    or_Conj  = {s = "or" ; n = Sg} ;
-
--- module TestEng
-
-    man_N = mkN "man" "men" ;
-    woman_N = mkN "woman" "women" ;
-    house_N = mkN "house" ;
-    tree_N = mkN "tree" ;
-    big_A = mkA "big" ;
-    small_A = mkA "small" ;
-    green_A = mkA "green" ;
-    walk_V = mkV "walk" ;
-    arrive_V = mkV "arrive" ;
-    love_V2 = mkV2 "love" ;
-    please_V2 = mkV2 "please" ;
-
--- module ResEng
-
-param
-    Number = Sg | Pl ;
-    Case   = Nom | Acc ;
-    Agr    = Ag Number Person ;
-    TTense = TPres | TPerf ;
-    Person = Per1 | Per2 | Per3 ;
-    VForm  = VInf | VPres | VPast | VPart ;
-
-    ClForm = ClDir | ClInv ;
-
-oper
-    VerbPhrase = {
-      verb  : AgrVerb ; 
-      compl : Str
-      } ;
-
-    NounPhrase = {
-      s : Case => Str ;
-      a : Agr
-      } ; 
-
--- verb as in VP, including copula
-
-    AgrVerb : Type = {
-      s : ClForm => TTense => Bool => Agr => {fin,inf : Str} ;
-      inf : Str
-      } ;
-
-  copula : AgrVerb = {
-    s = \\d,t,p,a => case <t,a> of {
-       <TPres,Ag Sg Per1> => {fin = "am"   ; inf = neg p} ;
-       <TPres,Ag Sg Per3> => {fin = "is"   ; inf = neg p} ;
-       <TPres,_         > => {fin = "are"  ; inf = neg p} ;
-       <TPerf,Ag Sg Per3> => {fin = "has"  ; inf = neg p ++ "been"} ;
-       <TPerf,_         > => {fin = "have" ; inf = neg p ++ "been"} 
-       } ;
-    inf = "be"
-    } ;
-
-  agrV : Verb -> AgrVerb = \v -> 
-    let 
-      vinf  = v.s ! VInf ; 
-      vpart = v.s ! VPart
-    in {
-    s = \\d,t,p,a => case <d,t,p,a> of {
-       <ClDir,TPres,True, Ag Sg Per3> => {fin = v.s ! VPres ; inf = []} ;
-       <_,    TPres,_,    Ag Sg Per3> => {fin = "does"      ; inf = neg p ++ vinf} ;
-       <ClDir,TPres,True, _         > => {fin = vinf        ; inf = []} ;
-       <_,    TPres,_,    _         > => {fin = "do"        ; inf = neg p ++ vinf} ;
-       <_,    TPerf,_,    Ag Sg Per3> => {fin = "has"       ; inf = neg p ++ vpart} ;
-       <_,    TPerf,_,    _         > => {fin = "have"      ; inf = neg p ++ vpart}
-       } ;
-    inf = vinf
-    } ;
-
-    neg : Bool -> Str = \b -> case b of {True => [] ; False => "not"} ;
-
--- for coordination
-
-    conjAgr : Number -> Agr -> Agr -> Agr = \n,xa,ya -> 
-      case <xa,ya> of {
-        <Ag xn xp, Ag yn yp> => 
-          Ag (conjNumber (conjNumber xn yn) n) (conjPerson xp yp)
-        } ;
-
-    conjNumber : Number -> Number -> Number = \m,n ->
-      case m of {Pl => Pl ; _ => n} ;
-
-    conjPerson : Person -> Person -> Person = \p,q ->
-      case <p,q> of {
-        <Per1,_> | <_,Per1> => Per1 ;
-        <Per2,_> | <_,Per2> => Per2 ;
-        _                   => Per3
-        } ;
-
-    Noun : Type = {s : Number => Str} ;
-    Adj  : Type = {s : Str} ;
-    Verb : Type = {s : VForm => Str} ;
-
-    mkNoun : Str -> Str -> Noun = \man,men -> {
-      s = table {Sg => man ; Pl => men}
-      } ;
-
-    regNoun : Str -> Noun = \s -> 
-      mkNoun s (s + "s") ; ----
-
-    mkAdj : Str -> Adj = \s -> ss s ;
-
-    mkVerb : (_,_,_,_ : Str) -> Verb = 
-      \go,goes,went,gone -> {
-      s = table {
-            VInf  => go ;
-            VPres => goes ;
-            VPast => went ;
-            VPart => gone
-            }
-      } ;
-
-    regVerb : Str -> Verb = \v -> case v of {
-      _ + "e" => mkVerb v (v + "s") (v + "d") (v + "d") ;
-      _       => mkVerb v (v + "s") (v + "ed") (v + "ed")
-      } ;
-
-    mkDet : Str -> Number -> {s : Str ; n : Number} = \s,n -> {
-      s = s ;
-      n = n
-      } ;
-
-    pronNP : (s,a : Str) -> Number -> Person -> NounPhrase = 
-    \s,a,n,p -> {
-      s = table {
-        Nom => s ;
-        Acc => a
-        } ;
-      a = Ag n p
-      } ;
-
-    vowel    : pattern Str = #("a" | "e" | "i" | "o") ;
-
--- module ParadigmsEng
-
-oper
-  mkN = overload {
-    mkN : (dog : Str) -> N 
-      = \n -> lin N (regNoun n) ;
-    mkN : (man, men : Str) -> N 
-      = \s,p -> lin N (mkNoun s p) ;
-    } ;
-
-  mkA = overload {
-    mkA : (small : Str) -> A 
-      = \a -> lin A (mkAdj a) ;
-    } ;
-
-  mkV = overload {
-    mkV : (walk : Str) -> V 
-      = \v -> lin V (regVerb v) ;
-    mkV : (go,goes,went,gone : Str) -> V 
-      = \p1,p2,p3,p4 -> lin V (mkVerb p1 p2 p3 p4) ;
-    } ;
-
-  mkV2 = overload {
-    mkV2 : Str -> V2
-      = \s -> lin V2 (regVerb s ** {c = []}) ;
-    mkV2 : V -> V2
-      = \v -> lin V2 (v ** {c = []}) ;
-    mkV2 : V -> Str -> V2
-      = \v,p -> lin V2 (v ** {c = p}) ;
-    } ;
-
-}