Update HOME_EXAM.md

HOME_EXAM.md

@@ -348,7 +348,7 @@ Dereference of a referenced expression
 
 ### Function call expression
 ```math
-\frac{<e_1, σ> → <n_1, σ^1> ... <e_n, σ^{n-1}> → <n_n, σ^n>}{<f(e_1, ..., e_n), σ> → <n, σ'>}
+\frac{<e_1, σ> → <n_1, σ^1> ... <e_n, σ^{n-1}> → <n_n, σ^n> <f_{call}, σ^n[p_1=n_1, ..., p_n=n_n]> → <n, σ'>}{<f(e_1, ..., e_n), σ> → <n, σ'>}
 ```
 
 
@@ -364,7 +364,7 @@ fn main() {
 
 ### Let expression
 ```math
-\frac{<e, σ> → n, σ'}{<v := e,σ> → σ'[v:=n]}
+\frac{<e, σ> → <n, σ'>}{<v = e,σ> → σ'[v=n]}
 ```
 Where the expression also can be a boolean or function.
 
@@ -374,7 +374,7 @@ let a = 2;
 
 ### Assign expression
 ```math
-\frac{<e, σ> → n, σ'}{<v := e,σ> → σ'[v:=n]}
+\frac{<e, σ> → n}{<mv = e,σ> → σ'[mv=n]}
 ```
 Where the expression also can be a boolean or function.