Ceylon Migration Bot

[@pthariensflame] @RossTate Right, but that's mainly because `Plus` is defined recursively; if it's defined immediately, or if it's simply hacked in to the compiler like @gavinking and I were talking...

[@RossTate] The problem is not due to recursion. You need to show that the equality between non-recursive pattern-matching functions (from and onto an infinite set) is decidable. I have my...

[@pthariensflame] The thing is, it's not just an infinite set, it's an infinite fully-bounded distributive lattice with _decidable_ partial order, and I think the presence of that additional structure, plus...