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