From 231f014c3af754226b89fc75015ed4706c454e4f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Wilma=20Krutr=C3=B6k?= <wilkru-7@student.ltu.se>
Date: Tue, 10 Nov 2020 18:40:25 +0000
Subject: [PATCH] Update HOME_EXAM.md
---
HOME_EXAM.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/HOME_EXAM.md b/HOME_EXAM.md
index f5809c0..490c38f 100644
--- a/HOME_EXAM.md
+++ b/HOME_EXAM.md
@@ -592,10 +592,10 @@ The example above is valid for the type checker due to it only checking that the
##### Functioncall
```math
-\frac{(<e_1,σ> → t1 ... <e_i,σ> → ti)}{<c,σ> → t_res}, \text{ where t_res = return type of function }
+\frac{<e_1,σ> → t_1 ... <e_i,σ> → t_i}{<c,σ> → t-res}, \text{ where } t-res = \text{return type of function }
```
-Each expression evaluating to the same type as the arguments connected to the function.
+Each expression evaluating to the same type as the arguments connected to the function.
```rust
fn a(x: i32) -> bool {
--
GitLab