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, 40 deletions

diff --git a/examples/jem-math/MathIta.gf b/examples/jem-math/MathIta.gf
deleted file mode 100644
index a4e406fe3..000000000
--- a/examples/jem-math/MathIta.gf
+++ /dev/null
@@ -1,40 +0,0 @@
-concrete MathIta of Math = {
-
-lincat 
-  Prop, Exp = Str ;
-
-lin
-  And a b = a ++ "e" ++ b ;
-  Or a b = a ++ "o" ++ b ;
-  If a b = "si" ++ a ++ "allora" ++ b ;
-
-  Zero = "zero" ;
-
-  Successor x = "il successore di" ++ x ;
-
-  Sum x y = "la somma di" ++ x ++ "e" ++ y ;
-  Product x y = "il prodotto di" ++ x ++ "e" ++ y ;
-
-  Even x = x ++ "è pari" ;
-  Odd x = x ++ "è dispari" ;
-  Prime x = x ++ "è primo" ;
-  
-  Equal x y = x ++ "è uguale a" ++ y ;
-  Less x y = x ++ "è inferiore a" ++ y ; 
-  Greater x y = x ++ "è superiore a" ++ y ; 
-  Divisible x y = x ++ "è divisibile per" ++ y ; 
-
-lincat 
-  Var = Str ;
-lin
-  X = "x" ;
-  Y = "y" ;
-
-  EVar x = x ;
-  EInt i = i.s ;
-
-  ANumberVar x = "un numero" ++ x ;
-  TheNumberVar x = "il numero" ++ x ;
-
-
-}