From 0f9afe1b2c3d3d244913acb5eb7cd5e734b8df23 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Fri, 5 Apr 2024 11:30:15 -0600 Subject: [PATCH] update notes to reflect last meeting --- README.org | 30 ++++++++++++++++++++++++------ 1 file changed, 24 insertions(+), 6 deletions(-) diff --git a/README.org b/README.org index ea51d10..e919530 100644 --- a/README.org +++ b/README.org @@ -122,7 +122,7 @@ For the time being, I just disabled the memoisation. This is very, very bad. ** TODO G-machine visualiser :docs: -** TODO lambda calculus visualiser :docs: +** TODO [#C] lambda calculus visualiser :docs: ** TODO hmvis does not reload when redefining expressions :bug: To recreate: @@ -175,13 +175,31 @@ For the time being, I just disabled the memoisation. This is very, very bad. - [X] Compiler architecture diagram - [X] More examples -** March Release Plan -- [ ] Tests +** Final Release Plan + SCHEDULED: <2024-04-19 Fri> +*** TODO Tests - [ ] rl' parser - [ ] Type inference -- [X] Ditch TTG in favour of a simpler AST focusing on extendability via Fix, Free, +*** TODO Examples + - [ ] quicksort + - [ ] factorial + - [ ] your typical FP operations -- mapping, folding, etc. +*** DONE Ditch TTG in favour of a simpler AST focusing on extendability via Fix, Free, Cofree, etc. rather than boilerplate-heavy type families -- [X] rl' type inference -- [X] Core type checking +*** DONE rl' type inference +*** DONE Core type checking +** Presentation + SCHEDULED: <2024-05-10 Fri> +*** TODO Documentation + - [ ] Type inference / Algorithm M + - [ ] The G-Machine +*** TODO G-Machine visualiser +*** TODO Post-mortem write-up + e.g. what would I do differently next time, what have I learned, etc. + +*** TODO Final polish check [0/3] + - [ ] CLI + - [ ] G-Machine output + - [ ] ~Compiler.JustRun~ module