update notes to reflect last meeting

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