diff --git a/todo_worlds b/todo_worlds new file mode 100644 index 0000000..b2f9ee0 --- /dev/null +++ b/todo_worlds @@ -0,0 +1,3 @@ +Less than (and strong induction) +even/odd (written by Ivan) +divisibility, prime, hard (all written by Archie)