From 3f57b28c95f805bbe00cac63a6fabf900375bca6 Mon Sep 17 00:00:00 2001
From: Hugo Wangler <hugwan-6@student.ltu.se>
Date: Fri, 22 Nov 2019 13:12:44 +0000
Subject: [PATCH] Update HOME_EXAM_Type_check_part2.md

---
 HOME_EXAM_Type_check_part2.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HOME_EXAM_Type_check_part2.md b/HOME_EXAM_Type_check_part2.md
index bb24d42..084873b 100644
--- a/HOME_EXAM_Type_check_part2.md
+++ b/HOME_EXAM_Type_check_part2.md
@@ -116,6 +116,6 @@ Given the function $`p`$ with the type of its return type
 #### Parameters and arguments
 Given a function with parameters $`p1, \dotsb, p_i`$ and arguments $`a1, \dotsb, a_i`$ then for every parameter and argument
 
-math```
+```math
 \frac{\Gamma \ \vdash p_i \ : \ \tau}{\Gamma \ \vdash a_i \ : \ \tau}
 ```
\ No newline at end of file
-- 
GitLab