From 1cae69cee37a038db68e6355d456676efc0c563a Mon Sep 17 00:00:00 2001 From: Hugo Wangler <hugwan-6@student.ltu.se> Date: Fri, 22 Nov 2019 13:23:24 +0000 Subject: [PATCH] Update HOME_EXAM.md --- HOME_EXAM.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 685e006..762fd89 100644 --- a/HOME_EXAM.md +++ b/HOME_EXAM.md @@ -296,6 +296,10 @@ the interpreter will panic with the message: # Your type checker - Give an as complete as possible set of Type Checking Rules for your language (those rules look very much like the SOS rules, but over types not values) +If it doesn't render see: +[PART 1](https://gitlab.henriktjader.com/banunkers/d7050e/blob/home_exam/HOME_EXAM_Type_check_part2.md) +[PART 2](https://gitlab.henriktjader.com/banunkers/d7050e/blob/home_exam/HOME_EXAM_Type_check_part3.md) + ### Expressions #### Arithmetic Addition: -- GitLab