msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

done

Browse Source
This commit is contained in:
crumbtoo
2024-03-28 11:35:59 -06:00
parent a492aadae3
commit 211009dfa9
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README.org
View File

@@ -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 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: ** TODO user-supplied annotation support in Rlp/HindleyMilner.hs :feature: