Auto merge of #657 - nico-abram:patch-1, r=jackh726

bors · bors · commit 2de2e4ad0da2 · 2020-11-25T04:52:29.000Z
Add "Recursive solver coinduction chapter" to book todo list
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

Original file line number	Diff line number	Diff line change
`@@ -4,3 +4,4 @@ Some topics yet to be written:`
`4`	`4`
`5`	`5`	`- Elaborate on the proof procedure`
`6`	`6`	`- SLG solving – introduce negative reasoning`
	`7`	`+- Recursive solver coinduction chapter`