Skip to content
Snippets Groups Projects
Commit 0f82daa9 authored by David Söderberg's avatar David Söderberg
Browse files

Update HOME_EXAM.md

parent de761ea7
No related branches found
No related tags found
No related merge requests found
......@@ -328,8 +328,7 @@ Declares the variable $`v`$ with type $`t`$ to current scope.
### Assign expression
```math
{<v := e, σ> ⇓ σ[v := e]}
\langle \text{test} \rangle
{\langle \text{test} \rangle}
```
### If true/false expression
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment