Update HOME_EXAM.md

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