diff --git a/HOME_EXAM.md b/HOME_EXAM.md index eb13b7ef40d1cb2698d568b1c6e4afd0cfe76ba7..ffad2f8c7890c3ace2803119da1c5ad5a3fd93f9 100644 --- a/HOME_EXAM.md +++ b/HOME_EXAM.md @@ -237,7 +237,9 @@ Not sure how to do this for elseif **while** statement: ```math \frac{\lang b, \sigma \rang \ \Downarrow \ \text{false} \quad \lang c, \sigma \rang \Downarrow \sigma' }{\text{while } b \text{ do } c, \sigma \rang \ \Downarrow \ \sigma} +``` +```math \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''} ```