From 0766211d79611d1d0ea7cdea3820530d6c448831 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 15 Sep 2024 18:47:32 -0700 Subject: [PATCH] Turn semantics post into page bundle Signed-off-by: Danila Fedorin --- .../{05_spa_agda_semantics.md => 05_spa_agda_semantics/index.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename content/blog/{05_spa_agda_semantics.md => 05_spa_agda_semantics/index.md} (100%) 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