Update README.md
This commit is contained in:
@@ -60,7 +60,7 @@ Listed in order of importance.
|
|||||||
- [ ] Core linter (Type-checker)
|
- [ ] Core linter (Type-checker)
|
||||||
- [ ] Core2Core pass
|
- [ ] Core2Core pass
|
||||||
- [ ] GM prep
|
- [ ] GM prep
|
||||||
- [ ] Non-strict case-floating
|
- [x] Non-strict case-floating
|
||||||
- [ ] Let-floating
|
- [ ] Let-floating
|
||||||
- [ ] TCO
|
- [ ] TCO
|
||||||
- [ ] DCE
|
- [ ] DCE
|
||||||
|
|||||||
Reference in New Issue
Block a user