From 474c3a8348643eb39fe9777f707ac2cbfb01be9c Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 13 Mar 2024 15:05:37 -0700 Subject: [PATCH] Switch bracket types in Agda expression pattern post Signed-off-by: Danila Fedorin --- content/blog/agda_expr_pattern.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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."