From: Michael Andreen <harv@ruin.nu>
Date: Fri, 10 Mar 2006 10:30:44 +0000 (+0000)
Subject: replace E with in
X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=commitdiff_plain;h=d553df8dfdffca78342d6fae142ceded9cd64415;hp=24e5b9e55893195b769efeb58a68ab5d29641638

replace E with in
---

diff --git a/documentation b/documentation
index 2d64044..bbb604f 100644
--- a/documentation
+++ b/documentation
@@ -13,7 +13,7 @@ typing rules
 ++++++++++++
 
 
-(t is little tau, T is large tau, E is 'in', and + is that other symbol)
+(t is used for types, T is the context, and + is used for in)
 
 
 [Eq, NEq]
@@ -39,7 +39,7 @@ The operators Lt/ELt/Gt/EGt return bool if both operands are ints
 
 [Assignment]
 
-T+ i := e:t  <=  i:t E T  &  T+ e:t
+T+ i := e:t  <=  i:t in T  &  T+ e:t
 
 The assignemnt of e to i returns type t if both i and e have type t.
 
@@ -58,7 +58,7 @@ ENot e returns bool if e is of type bool
 
 [EVar]
 
-T+ i:t <= i:t E T
+T+ i:t <= i:t in T
 
 i has type t if i is defined in the context with type t.
 
@@ -88,7 +88,7 @@ EReadB returns a bool
 
 [EPost]
 
-T+ EPost i:int <= i:int E T
+T+ EPost i:int <= i:int in T
 
 EPost i is of type int if i is defined in T with type int.
 
@@ -120,13 +120,13 @@ If e is of type bool and s typechecks in context T then the same context is retu
 
 [SDecl]
 
-T+ t i = e => T,i:t  <=  i!ET  &  e:t 
+T+ t i = e => T,i:t  <=  i not in T  &  e:t 
 
 if i and e are of the same type and i is not declared in the current scope then i is added with type t to the context.
 
 [SDeclD]
 
-T+ t i => T,i:t  <=  i!ET
+T+ t i => T,i:t  <=  i not in T
 
 if i is not declared in the current scope, then i is added to the context with type t