Add "Recursive solver coinduction chapter" to todo list

rust-lang · Nov 24, 2020 · 3089819 · 3089819
1 parent c3b4349
commit 3089819
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/book/src/todo.md b/book/src/todo.md
@@ -4,3 +4,4 @@ Some topics yet to be written:
 
 - Elaborate on the proof procedure
 - SLG solving – introduce negative reasoning
+- Recursive solver coinduction chapter