Tygyh
Tygyh
> What's the difference between this pr and this one #8973? The other one's changes are probably a superset of this one and other changes. If I had known about...
Since this PR is ready for review and #8973 is dormant I'd like to make partial progress by merging this
> What is the motivation for splitting the prelude? I adopted it because it was left open. I will close this since no one seems to be in favour of...
> Yes, plz send halp
First, let's untangle the mess then we can discuss the changes
I solved it! No discussion needed
In my opinion the complexity of figuring out what the method does is slightly lowered by removing one of the parameters
I would calculate the complixity of the parameters as n! where n represents the number of parameters. By moving the intCoords out of the method we reduce the complexity of...
I think all the changes from this PR have already been done in #8090. Should this be closed?
@JosJuice Is there something left which needs to be changed before this is merged?