From 416f5d89fa66e2bb12db072113888dcbe78b6329 Mon Sep 17 00:00:00 2001 From: msydneyslaga <118566473+msydneyslaga@users.noreply.github.com> Date: Mon, 13 Nov 2023 17:29:46 -0700 Subject: [PATCH] Update README.md --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index d516c65..7a31646 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ Listed in order of importance. - [ ] Backend - [x] Core language - [x] AST - - [ ] Low-level model (STG) + - [ ] Low-level evaluation model (STG) - [x] Syntax - [ ] Arithmetic - [ ] Emitter @@ -39,4 +39,10 @@ Listed in order of importance. - [ ] Constraint solver - [ ] `do`-notation - [ ] CLI +- [ ] Documentation (mostly for presentation) + - [ ] State transition rules + - [ ] How does an STG work? + - [ ] CLI usage + - [ ] Tail-calls +