From d2681629d1ebbd17151c2b1bf7860d871c2a98ed Mon Sep 17 00:00:00 2001 From: Avril Date: Thu, 26 Nov 2020 21:16:44 +0000 Subject: [PATCH] update todo --- lean/TODO.org | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lean/TODO.org b/lean/TODO.org index 95c9aba..630fb1f 100644 --- 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