From e4101f139618d83bab348e853bc183e8516b07e8 Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 1 Sep 2024 15:19:47 -0700 Subject: [PATCH] Fix missing paren Signed-off-by: Danila Fedorin --- content/blog/05_spa_agda_semantics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/blog/05_spa_agda_semantics.md b/content/blog/05_spa_agda_semantics.md index b1514ee..0694321 100644 --- a/content/blog/05_spa_agda_semantics.md +++ b/content/blog/05_spa_agda_semantics.md @@ -12,7 +12,7 @@ are an essential ingredient to formalizing the analyses in Anders Møller's lecture notes. However, there can be no program analysis without a program to analyze! In this post, I will define the (very simple) language that we will be analyzing. An essential aspect of the language is its -[semantics](https://en.wikipedia.org/wiki/Semantics_(computer_science), which +[semantics](https://en.wikipedia.org/wiki/Semantics_(computer_science)), which simply speaking explains what each feature of the language does. At the end of the previous article, I gave the following _inference rule_ which defined (partially) how the `if`-`else` statement in the language works.