From 1ef53028d7064b94a28de9b48141ba306781ef6a Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 13:07:18 +0000
Subject: [PATCH] Update HOME_EXAM_Type_check_part2.md
---
HOME_EXAM_Type_check_part2.md | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/HOME_EXAM_Type_check_part2.md b/HOME_EXAM_Type_check_part2.md
index 8774f97..53843d3 100644
--- a/HOME_EXAM_Type_check_part2.md
+++ b/HOME_EXAM_Type_check_part2.md
@@ -62,7 +62,9 @@ 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}
```
@@ -71,7 +73,9 @@ Not equals (!=):
$`
\frac{\Gamma \ \vdash \ e1 \ : \ bool \quad \Gamma \ \vdash \ e2 \ : \ bool}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool}
`$
+
or
+
$`
\frac{\Gamma \ \vdash \ e1 \ : \ i32 \quad \Gamma \ \vdash \ e2 \ : \ i32}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool}
`$
--
GitLab