diff --git a/content/blog/00_spa_agda.md b/content/blog/00_spa_agda_intro.md
similarity index 100%
rename from content/blog/00_spa_agda.md
rename to content/blog/00_spa_agda_intro.md