Update README.md
This commit is contained in:
1 parent
b9448b00d5
commit
c016eeff91
1 file changed
+1
-1
@@ -71,7 +71,7 @@ Listed in order of importance.
|
|||||||
- [ ] Constraint solver
|
- [ ] Constraint solver
|
||||||
- [ ] `do`-notation
|
- [ ] `do`-notation
|
||||||
- [ ] CLI
|
- [ ] CLI
|
||||||
- [ ] Documentation (mostly for presentation)
|
- [ ] Documentation
|
||||||
- [ ] State transition rules
|
- [ ] State transition rules
|
||||||
- [ ] How does the evaluation model work?
|
- [ ] How does the evaluation model work?
|
||||||
- [ ] CLI usage
|
- [ ] CLI usage
|
||||||
|
|||||||
Reference in new issue
Block a user