From 9d359b9d1498fc5f458ba97db333be744ef78227 Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 12:40:37 +0000
Subject: [PATCH] Update HOME_EXAM.md
---
HOME_EXAM.md | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/HOME_EXAM.md b/HOME_EXAM.md
index 26a73af..361cabf 100644
--- a/HOME_EXAM.md
+++ b/HOME_EXAM.md
@@ -386,30 +386,30 @@ Given the type $`\tau`$, variable $`x`$ and value $`n`$
### **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}
-```
+`$
- Demonstrate each "type rule" by an example
--
GitLab