From 211009dfa92ac2524414bac18a48d02a13f31e5f Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Thu, 28 Mar 2024 11:35:59 -0600 Subject: [PATCH] done --- README.org | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.org b/README.org index 33d2bb9..e6708f6 100644 --- a/README.org +++ b/README.org @@ -79,7 +79,10 @@ For the time being, I just disabled the memoisation. This is very, very bad. ** TODO ADT support in Rlp/HindleyMilner.hs :feature: -** TODO whole-program inference (wrap top-level in a ~letrec~) :feature: +** DONE whole-program inference (wrap top-level in a ~letrec~) :feature: + CLOSED: [2024-03-28 Thu 11:33] + shadowing issue sucks. i'm going to have to rewrite the whole type inference + system later. and i never learn, so i'm gonna use a chronomorphism :3. ** TODO user-supplied annotation support in Rlp/HindleyMilner.hs :feature: