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

1 files changed, 0 insertions, 27 deletions

diff --git a/examples-3.0/tutorial/calculator/CalculatorE.gf b/examples-3.0/tutorial/calculator/CalculatorE.gf
deleted file mode 100644
index f432d371a..000000000
--- a/examples-3.0/tutorial/calculator/CalculatorE.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:prelude
-
-concrete CalculatorE of Calculator = open Prelude in {
-
-  flags lexer=codevar ; unlexer=unwords ;
-
-  lincat 
-    Prog, Exp, Var = SS ;
-
-  lin
-    PEmpty = ss [] ;
-    PInit exp prog = ss ("initialize" ++ prog.$0 ++ "as" ++ exp.s ++ PAUSE ++ prog.s) ;
-    PAss vr exp prog = ss ("redefine" ++ vr.s ++ "as" ++ exp.s ++ PAUSE ++ prog.s) ;
-
-    EPlus  = infix "plus" ;
-    EMinus = infix "minus" ;
-    ETimes = infix "times" ;
-    EDiv   = infix ["divided by"] ;
-
-    EInt i = i ;
-    EVar x = x ;
-
-  oper
-    infix : Str -> SS -> SS -> SS = \op,x,y -> 
-      ss (x.s ++ op ++ y.s ++ PAUSE) ;
-    PAUSE = "PAUSE" ;
-}