Exodus 17:13

And Joshua discomfited Amalek and his people with the edge of the sword. Amalek being distinguished from "his people", has led some to think that Amalek was the name of the king, or general of the…

With the edge of the sword - This expression always denotes a great slaughter of the enemy.

Joshua discomfited Amalek and his people - Amalek might have been the name of the ruler of this people continued down from their ancestor, (see Clarke on Exo 17:8 (note)), as Pharaoh was the name of…

We have here the story of the war with Amalek, which, we may suppose, was the first that was recorded in the book of the wars of the Lord, Num 21:14. Amalek was the first of the nations that Israel…