changed names of resource-1.3; added a note on homepage on release

1 files changed, 0 insertions, 25 deletions

diff --git a/examples-3.0/tutorial/calculator/Calculator.gf b/examples-3.0/tutorial/calculator/Calculator.gf
deleted file mode 100644
index 65192e226..000000000
--- a/examples-3.0/tutorial/calculator/Calculator.gf
+++ /dev/null
@@ -1,25 +0,0 @@
-abstract Calculator = {
-
-  flags startcat = Prog ;
-
-  cat Prog ; Exp ; Var ;
-
-  fun
-    PEmpty : Prog ;
-    PInit  : Exp -> (Var -> Prog) -> Prog ;
-    PAss   : Var -> Exp  -> Prog  -> Prog ;
-
-    EPlus, EMinus, ETimes, EDiv : Exp -> Exp -> Exp ;
-
-    EInt : Int -> Exp ;
-    EVar : Var -> Exp ;
-
-    ex1 : Prog ;
-
-  def
-    ex1 = 
-      PInit (EPlus (EInt 2) (EInt 3)) (\x -> 
-        PInit (EPlus (EVar x) (EInt 1)) (\y -> 
-          PAss x (EPlus (EVar x) (ETimes (EInt 9) (EVar y))) PEmpty)) ;
-
-}