From 589f3ba82706d72af5563fff791dac46a74d0b65 Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 13:05:21 +0000
Subject: [PATCH] Update HOME_EXAM_Type_check_part2.md
---
HOME_EXAM_Type_check_part2.md | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/HOME_EXAM_Type_check_part2.md b/HOME_EXAM_Type_check_part2.md
index bd6c199..8774f97 100644
--- a/HOME_EXAM_Type_check_part2.md
+++ b/HOME_EXAM_Type_check_part2.md
@@ -68,25 +68,25 @@ or
```
Not equals (!=):
-```math
+$`
\frac{\Gamma \ \vdash \ e1 \ : \ bool \quad \Gamma \ \vdash \ e2 \ : \ bool}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool}
-```
+`$
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
--
GitLab