diff --git a/content/blog/agda_expr_pattern.md b/content/blog/agda_expr_pattern.md
index 28b7650..3f1ae9b 100644
--- a/content/blog/agda_expr_pattern.md
+++ b/content/blog/agda_expr_pattern.md
@@ -1,5 +1,5 @@
 ---
-title: "The 'Deeply Embedded Expression' Trick in Agda"
+title: "The \"Deeply Embedded Expression\" Trick in Agda"
 date: 2024-03-11T14:25:52-07:00
 tags: ["Agda"]
 description: "In this post, I talk about a trick I developed to simplify certain Agda proofs."