diff --git a/lean/TODO.org b/lean/TODO.org
new file mode 100644
index 0000000..95c9aba
--- /dev/null
+++ b/lean/TODO.org
@@ -0,0 +1,3 @@
+* Todo
+- [X] impl rng
+- [ ] impl shuffling
diff --git a/lean/src/reniterpret.cpp b/lean/src/reinterpret.cpp
similarity index 100%
rename from lean/src/reniterpret.cpp
rename to lean/src/reinterpret.cpp