Add Coinduction solving to todo list

nico-abram · nico-abram · commit 47b65443c6d2 · 2020-11-24T04:58:43.000-03:00
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
+- Coinduction solving 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`	`+- Coinduction solving chapter`