diff --git a/HOME_EXAM_Type_check_part2.md b/HOME_EXAM_Type_check_part2.md index 2d41fa0117e21c8862f02c41573ba96f28d4e395..bb24d42bf9d19a4ad95b51103aa6cfa945e48167 100644 --- a/HOME_EXAM_Type_check_part2.md +++ b/HOME_EXAM_Type_check_part2.md @@ -76,40 +76,40 @@ math``` or -math``` +```math \frac{\Gamma \ \vdash \ e1 \ : \ i32 \quad \Gamma \ \vdash \ e2 \ : \ i32}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool} ``` ### Assignment Given the type $`\tau`$, variable $`x`$ and value $`n`$ -math``` +```math \frac{\Gamma \ \vdash \ x \ : \ \tau \quad \Gamma \ \vdash \ n \ : \ \tau}{\lang x := n, \sigma \rang \ \Darr \ \Gamma \ \vdash x \ : \ \tau} ``` ### **let** assignment -math``` +```math \frac{\Gamma \ \vdash \ n \ : \ \tau}{\lang \text{let} \ x \ : \ \tau \ := \ n, \sigma \rang \ \Darr \ \Gamma \ \vdash x \ : \ \tau} ``` ### **while** statement The condition, $`b`$, of the while statement -math``` +```math \frac{}{\Gamma \ \vdash b \ : \ bool} ``` ### **if/elseif** statement The conditions, $`b_i`$, of the if- and elseif-statements -math``` +```math \frac{}{\Gamma \ \vdash b_i \ : \ bool} ``` ### Functions Given the function $`p`$ with the type of its return type -math``` +```math \frac{\Gamma \ \vdash p \ : \ \tau \quad \lang p, \sigma \rang \ \Darr \ n}{\Gamma \ \vdash n \ : \ \tau} ```