When somebody leaves and it is agreed that they can leave without working the three months' notice, I presume that they are paid up to the date that they leave and have any accrued holiday entitlement paid to them, but that they are not paid anything else, as it is their decision to leave.