From 43b9f8e97b808818b52f6fca152e29250c6f9c0a Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 13:21:48 +0000
Subject: [PATCH] Update HOME_EXAM.md

---
 HOME_EXAM.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/HOME_EXAM.md b/HOME_EXAM.md
index 361cabf..685e006 100644
--- a/HOME_EXAM.md
+++ b/HOME_EXAM.md
@@ -245,7 +245,7 @@ Not sure how to do this for elseif
 \frac{\lang b, \sigma \rang \ \Downarrow \ \text{true} \quad \lang c, \sigma \rang \ \Downarrow \ \sigma' \quad \lang \text{while } b \text{ do } c,\sigma' \rang \ \Downarrow \ \sigma''}{\lang \text{while } b \text{ do } c, \sigma \rang \ \Downarrow \ \sigma''}
 ```
 
-**let** statement:\
+**let** statement:
 ```math
 \frac{}{\lang \text{let }x := n, \sigma \rang \ \Downarrow \ \sigma [x := n]}
 ```
@@ -261,6 +261,7 @@ assignment:
 ```
 
 functions:
+
 Given a list of arguments $`\overrightarrow{v} = [v_1, \ldots, v_n]`$ the call of function $`p`$ will evaulate to a value $`n`$ (the return value, if any) according to
 
 ```math
-- 
GitLab