Editing Talk:Corecursion (section)

== Merge proposal ==

I propose merging [[Coinduction]] into [[Corecursion]], further in a way that removes almost all content from [[Coinduction]]. I have recently worked significantly on the latter page (rewriting almost all its contents), and added a section that explains what coinduction is. My reasons for merging are as follows:
# The explanation of coinduction in that page is (in my opinion) not great and has attracted numerous complaints on its talk page over the years. Of course, I think the explanation I wrote in [[Corecursion]] is better, not least because it at least explains what coinduction ''is''.
# Coinduction is impossible to understand without first understanding corecursion, and furthermore corecursion is very difficult to reason about without using coinduction. These two concepts are very very intimiately linked and I’m not sure why it needs two pages (after all, structural induction and structural recursion don’t have two separate pages).

The proposal would end up removing all content on the [[Coinduction]] page apart from the paragraph about its use in logic programming, and some references from the further reading section. The rest of the information on the page is either about Pierce’s explanation, which many find confusing, or is duplicated by [[Corecursion]] already. [[User:Kestrer|Kestrer]] ([[User talk:Kestrer|talk]]) 07:27, 15 March 2026 (UTC)