Add Coinduction to todo list

nico-abram · web-flow · commit 8a21d2f006c4 · 2020-11-23T19:41:45.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 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 chapter`