From 64e500da2476d75960abb02d739c2b985a7a9bd3 Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 13:14:30 +0000
Subject: [PATCH] Update HOME_EXAM_Type_check_part2.md

---
 HOME_EXAM_Type_check_part2.md | 40 -----------------------------------
 1 file changed, 40 deletions(-)

diff --git a/HOME_EXAM_Type_check_part2.md b/HOME_EXAM_Type_check_part2.md
index 99d4b45..a36d950 100644
--- a/HOME_EXAM_Type_check_part2.md
+++ b/HOME_EXAM_Type_check_part2.md
@@ -78,44 +78,4 @@ or
 
 ```math
 \frac{\Gamma \ \vdash \ e1 \ : \ i32 \quad \Gamma \ \vdash \ e2 \ : \ i32}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool}
-```
-
-### Assignment
-Given the type $`\tau`$, variable $`x`$ and value $`n`$
-
-```math
-\frac{\Gamma \ \vdash \ x \ : \ \tau \quad \Gamma \ \vdash \ n \ : \ \tau}{\lang x := n, \sigma \rang \ \Darr \ \Gamma \ \vdash x \ : \ \tau}
-```
-
-### **let** assignment
-```math
-\frac{\Gamma \ \vdash \ n \ : \ \tau}{\lang \text{let} \  x \ : \ \tau \ := \ n, \sigma \rang \ \Darr \ \Gamma \ \vdash x \ : \ \tau}
-```
-
-### **while** statement
-The condition, $`b`$, of the while statement  
-
-```math
-\frac{}{\Gamma \ \vdash b \ : \ bool}
-```
-
-### **if/elseif** statement
-The conditions, $`b_i`$, of the if- and elseif-statements
-
-```math
-\frac{}{\Gamma \ \vdash b_i \ : \ bool}
-```
-
-### Functions
-Given the function $`p`$ with the type of its return type
-
-```math
-\frac{\Gamma \ \vdash p \ : \ \tau \quad \lang p, \sigma \rang \ \Darr \ n}{\Gamma \ \vdash n \ : \ \tau}
-```
-
-#### Parameters and arguments
-Given a function with parameters $`p1, \dotsb, p_i`$ and arguments $`a1, \dotsb, a_i`$ then for every parameter and argument
-
-```math
-\frac{\Gamma \ \vdash p_i \ : \ \tau}{\Gamma \ \vdash a_i \ : \ \tau}
 ```
\ No newline at end of file
-- 
GitLab