Skip to content
Snippets Groups Projects
Commit 1cae69ce authored by Hugo Wangler's avatar Hugo Wangler
Browse files

Update HOME_EXAM.md

parent 43b9f8e9
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
HOME_EXAM.md
+ 4
− 0
View file @ 1cae69ce
...@@ -296,6 +296,10 @@ the interpreter will panic with the message: ...@@ -296,6 +296,10 @@ the interpreter will panic with the message:
# Your type checker # 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) - 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 ### Expressions
#### Arithmetic #### Arithmetic
Addition: Addition:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment