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

Update README.md

Browse Source
This commit is contained in:
msydneyslaga
2023-12-11 18:27:31 -07:00
committed by GitHub
parent 56f1fe4ee7
commit 50c0eaf84c
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@@ -59,7 +59,7 @@ Listed in order of importance.
- [ ] Core language emitter - [ ] Core language emitter
- [ ] Core linter (Type-checker) - [ ] Core linter (Type-checker)
- [ ] Core2Core pass - [ ] Core2Core pass
- [ ] GM prep - [x] GM prep
- [x] Non-strict case-floating - [x] Non-strict case-floating
- [ ] Let-floating - [ ] Let-floating
- [ ] TCO - [ ] TCO
@@ -72,8 +72,7 @@ Listed in order of importance.
- [ ] Translation to the core language - [ ] Translation to the core language
- [ ] Constraint solver - [ ] Constraint solver
- [ ] `do`-notation - [ ] `do`-notation
- [ ] Renamer - [x] CLI
- [ ] CLI
- [ ] Documentation - [ ] Documentation
- [ ] State transition rules - [ ] State transition rules
- [ ] How does the evaluation model work? - [ ] How does the evaluation model work?