^^I'm pretty sure he arced the power and fried the main fusible link in the process from smacking the starter, makes sense to me anyways.
Remedy, test resistance from the alternator to the large stud on the starter, 0 = blown fusible link and you will need a new battery cable from the dealer only, and I do mean dealer only.