renamer goal
This commit is contained in:
@@ -70,6 +70,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
|
||||||
- [ ] CLI
|
- [ ] CLI
|
||||||
- [ ] Documentation
|
- [ ] Documentation
|
||||||
- [ ] State transition rules
|
- [ ] State transition rules
|
||||||
|
|||||||
Reference in New Issue
Block a user