diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 685e0062dd71eff38a0254d927104d919f038d96..762fd89e6cc1aeb27715bf49718db279394a2610 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: