From acc481cd29326144995be6f97e2c65fe07adbc2f Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Fri, 5 Apr 2024 15:27:19 -0600 Subject: [PATCH] readme --- README.org | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/README.org b/README.org index f77bfdc..c30defd 100644 --- a/README.org +++ b/README.org @@ -71,7 +71,7 @@ Available debug flags include: -- >>> :t let f = \x -> x in f (let f = 2 in f) -- let f = \x -> x in f (let f = 2 in f) :: Int #+end_src -For the time being, I just disabled the memoisation. This is very, very bad. + For the time being, I just disabled the memoisation. This is very, very bad. *** Closing Remarks Fixed by entirely rewriting the type inference algorithm :P. Memoisation is no longer required; the bottom-up inference a la Algorithm M was previously @@ -99,7 +99,8 @@ For the time being, I just disabled the memoisation. This is very, very bad. ** DONE README.md -> README.org :docs: CLOSED: [2024-03-28 Thu 10:44] -** TODO [#A] ~case~ inference :feature: +** DONE [#A] ~case~ inference :feature: + CLOSED: [2024-04-05 Fri 15:26] ** DONE [#A] ADT support in Rlp/HindleyMilner.hs :feature: CLOSED: [2024-04-05 Fri 12:28] @@ -118,7 +119,7 @@ For the time being, I just disabled the memoisation. This is very, very bad. ** TODO [#A] update architecture diagram :docs: ** TODO pattern support; everywhere [0%] :feature: - - [ ] in the type-checker + - [-] in the type-checker - [ ] in the desugarer ** TODO [#A] G-machine visualiser :docs: