13 And Joshua defeated Amalek and his people with the ⌊edge of the sword⌋.*
Exodus 17:13 Cross References - LEB
Joshua 10:28
28 Joshua captured Makkedah on that day, and he struck it and its king with ⌊the edge of the sword⌋;* he utterly destroyed it and everyone that was in it. He did not leave behind a survivor. So he did to the king of Makkedah just as he did to the king of Jericho.
Joshua 10:32
32 And Yahweh gave Lachish into the hand of Israel, and he captured it on the second day. He struck it with ⌊the edge of the sword⌋,* and everyone in it, just as he did to Libnah.
Joshua 10:37
37 and captured it, and they struck it with ⌊the edge of the sword⌋,* its king and all its cities, and all the people that were in it; he left behind no survivor, as he had done to Eglon, and he utterly destroyed it and all the people that were in it.
Joshua 10:42
42 all of these kings and their land Joshua captured at one time, because Yahweh the God of Israel fought for Israel.
Joshua 11:12
12 And Joshua captured all the cities of these kings, and all their kings, and he utterly destroyed them with ⌊the edge of the sword⌋,* as Moses the servant of Yahweh commanded.