Closed tjade273 closed 4 years ago
It appears that this exercise wanted mergeSort to have a nontermination bug, allowing us to prove the incorrect proposition. This was fixed at some point, probably not realizing that it should be broken.
It appears that this exercise wanted mergeSort to have a nontermination bug, allowing us to prove the incorrect proposition. This was fixed at some point, probably not realizing that it should be broken.