From 612f877f3ecaa9e134399beba0c6b5d86dd5be12 Mon Sep 17 00:00:00 2001 From: Aron Widforss <aron@antarkt.is> Date: Fri, 8 Nov 2019 19:25:18 +0100 Subject: [PATCH] Small typos --- HOME_EXAM.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HOME_EXAM.md b/HOME_EXAM.md index 0064621..7199ec9 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 -- GitLab