I just did the Back to the Checkout kata.
These are the tests using Midje:
and this is the resulting code:
I did a mix of TDD and playing in the REPL to solve it.
You can check commits step by step here.
You can find all the code on GitHub.