update todo

3 years ago · d2681629d1
parent 275f42b2fb
commit d2681629d1
1 changed files with 3 additions and 1 deletions
--- a/lean/TODO.org
+++ b/lean/TODO.org
@ -1,3 +1,5 @@
 * Todo
 - [X] impl rng
- [ ] impl shuffling
+- [X] impl shuffling
+- [ ] impl out-of-place shuffling
+- [ ] arg parsing and dispatch