diff --git a/content/blog/05_spa_agda_semantics.md b/content/blog/05_spa_agda_semantics/index.md
similarity index 100%
rename from content/blog/05_spa_agda_semantics.md
rename to content/blog/05_spa_agda_semantics/index.md