See the bodies "Professor" and "Leela" only swith once (the last element). The restriction is about the bodies!, two pair of bodies are not allow to use the machine. The thing that says "map_" is just the final state of which body has which mind, so Leela is in Professor's body, Bender is in Amy's body, Amy is in Leela's body and Professor is in Bender's body.

no, just for shortening code

Fixed

Using Axiom is like finishing a proof with Admitted, so no. It has to be closed under the context.

100 is plenty, you can go to 89 and probably less with more obscure imports.

I think 100 is a good limit for Haskell.

But WHY did you put a DIRECT LINK TO THE TRAINER in your message!??? x/
I need to solve it now... xp

You don't really need to ask me for a permission. Feel free to proceed wih your kata just like with any other new kata you would create: ask for reviews, publish for beta process, etc.

I might be not a big fan of the idea of having a golf version of this kata, or of code golf kata in general, but it's just my opinion and nothing you need to worry about. Just publish your kata and leave the rest to users and their reviews.
Forgive me not solving it, because I simply cannot into code golf.

your eyes will look like this .. o_O

My original intention was to print colorful characters on the screen, but I screwed up. It does not affect running tests. It just does a little damage to your eyes.

• Done for python
• added random and sample tests in java (edit: commented out the random tests, something seems wrong, but I couldn't spot quickly what it was. And I don't wanna dig into the ref soltuion...)

Thanks! Approved.

This is an issue ;-)

So is the author supposed to set the issue as resolved, or the reviewer?

you need to set this as resolved -> now you can republish