diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 00646219e10b9c6fd953cef060b6dda8a9a0cf18..7199ec9fa2669793d3ca3ea40374740a610ac07c 100644 --- a/HOME_EXAM.md +++ b/HOME_EXAM.md @@ -22,7 +22,7 @@ - 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): [type_checking_rules.pdf](type_checking_rules.pdf) -- Demonstrate each "type rule" by an example: [programs/prime_gen](https://github.com/widforss/compiler/blob/master/programs/type_checking) +- Demonstrate each "type rule" by an example: [programs/type_checking](https://github.com/widforss/compiler/blob/master/programs/type_checking) ## Your borrow checker