From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 25 Jun 2008 16:54:35 +0000
Subject: changed names of resource-1.3; added a note on homepage on release

---
 examples-3.0/tutorial/calculator/CalculatorE.gf | 27 -------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 examples-3.0/tutorial/calculator/CalculatorE.gf

(limited to 'examples-3.0/tutorial/calculator/CalculatorE.gf')

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" ;
-}
-- 
cgit v1.2.3