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

Update HOME_EXAM.md

parent 69d84cee
No related branches found
No related tags found
No related merge requests found
......@@ -339,7 +339,7 @@ A mutable reference to some expression
```
```math
\frac{<e,σ> → \text{ ref mut } v}{<*e,σ> → mv}
\frac{<e,σ> → \text{ ref } mv}{<*e,σ> → mv}
```
Dereference of a referenced expression
``` rust
......@@ -348,7 +348,7 @@ Dereference of a referenced expression
### Function call expression
```math
\frac{<e_1, σ> → <n_1, σ^1> ... <e_n, σ^(n-1)> → <n_n, σ^n>}{<f(e_1, ..., e_n), σ> → <n, σ'>}
\frac{<e_1, σ> → <n_1, σ^1> ... <e_n, σ^n^-^1> → <n_n, σ^n>}{<f(e_1, ..., e_n), σ> → <n, σ'>}
```
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment