• @CanadaPlus
    link
    1
    edit-2
    6 months ago

    Good for you. I think I’d figure it out eventually, but it would certainly take me a while.

    I’d probably be trying a number of approaches, including the recursive one. Renaming pegs is a critical piece that you’d have to realise you can do, and you can’t be sure you have a correct inductive solution unless you actually walk through the first few solutions from the base instance.