Hebrews 4:8

Heb. 4:8. For if Jesus had given them rest, then would he not afterward have spoken of another day.

The Blank Bible says "See note on Psalms 95:7; Psalms 95:8," which is as follows:

7, 8. To day if ye will hear his voice Harden not your heart.] which is as much as to say it is not out of season to hear God's voice in order to entering into God's rest. Tho' Joshua brought the children of Israel into Canaan so long ago the counsel is as proper now as ever and as needful in order to your entering into God's rest. Hardening your heart will be as fatal now to you as it [was] to your fathers in the wilderness and hearing God's voice will be no more in vain now than it was in Caleb and Joshua of old. The apostle's interpretation 3.9 (sic) is most reasonable and natural and doubtless just. See p. 350 [where Edwards pursues the interpretation of Psalms 95:7-11].

In the History of Redemption Edwards gives the significance of Israel's entering Canaan under Joshua 11. The next thing that I would observe was God's bringing the people of Israel under the hand of Joshua and settling them in that land where Christ was to be born. And that was the great type of the heavenly Canaan that Christ purchased. This was done by Joshua who was of Joseph's posterity and was an eminent type of Christ, and is therefore called "the shepherd, the stone of Israel" in Jacob's blessing of Joseph, Genesis 49:24. Being such a type of Christ, he bore the name of Christ; Joshua and Jesus are the same name, only the one is Hebrew and the other is Greek. And therefore in the New Testament, which was originally written in Greek, Joshua called Jesus, Acts 7:45, "Which also our fathers… brought in with Jesus," i.e. Joshua, Hebrews 4:8, "If Jesus had given them rest, he would not have spoken of another day," i.e. if Joshua had given them rest.

Heb. 4:9