From 3089819333d63422f87b0edd5ad516e233eaa4dc Mon Sep 17 00:00:00 2001
From: Nicolas <abramlujan@gmail.com>
Date: Mon, 23 Nov 2020 19:41:45 -0300
Subject: [PATCH] Add "Recursive solver coinduction chapter" to todo list

---
 book/src/todo.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/book/src/todo.md b/book/src/todo.md
index 845cc2a2f2d..978bc317169 100644
--- 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