Even in raw processing power (for example transcoding a video) the Mini is about 50% faster. The real world advantage in all-day situations should be even greater. So good decision to buy a Mini.
Oh, and if you don't feel the benefits - the hard drive in the Mini isn't faster, so that slows it down in many cases.