From ee2a4662dda86857186bb12b0ba7f5b2d524398b Mon Sep 17 00:00:00 2001 From: Hugo Wangler <hugwan-6@student.ltu.se> Date: Fri, 22 Nov 2019 13:13:11 +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 084873b..99d4b45 100644 --- a/HOME_EXAM_Type_check_part2.md +++ b/HOME_EXAM_Type_check_part2.md @@ -70,7 +70,7 @@ or ``` Not equals (!=): -math``` +```math \frac{\Gamma \ \vdash \ e1 \ : \ bool \quad \Gamma \ \vdash \ e2 \ : \ bool}{\Gamma \ \vdash (e1 \ != \ e2) \ : \ bool} ``` -- GitLab