Skip to content
Snippets Groups Projects
Commit 369c8d4e authored by Hugo Wangler's avatar Hugo Wangler
Browse files

Update HOME_EXAM.md

parent 72f71f65
No related branches found
No related tags found
No related merge requests found
......@@ -157,7 +157,9 @@ Given a expression $e$ in the state $\sigma$ that evaluates to a value $n$ or b
#### Arithmetic
Addition:\
$\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 + e2, \sigma \rang \ \Downarrow \ n1 + n2}$
```math
\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 + e2, \sigma \rang \ \Downarrow \ n1 + n2}
```
Subtraction:\
$\frac{\lang e1, \sigma \rang \ \Downarrow \ n1 \; \lang e2, \sigma \rang \ \Downarrow \ n2}{\lang e1 - e2, \sigma \rang \ \Downarrow \ n1 - n2}$
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment