todo

4 years ago · 084bcc3d8b
parent 29c74f50f8
commit 084bcc3d8b
2 changed files with 3 additions and 0 deletions
--- a/lean/TODO.org
+++ b/lean/TODO.org
@ -0,0 +1,3 @@
+* Todo
+- [X] impl rng
+- [ ] impl shuffling
--- a/lean/src/reinterpret.cpp
+++ b/lean/src/reinterpret.cpp