diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 361cabfdc20dac90562a6da16140847a15782f1d..685e0062dd71eff38a0254d927104d919f038d96 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