- 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)
