From 18f493675a431a0086b97d81ed3c3b089665307b Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 20 Nov 2021 23:36:57 -0800
Subject: [PATCH] Publish the dawn post

---
 content/blog/coq_dawn.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/content/blog/coq_dawn.md b/content/blog/coq_dawn.md
index 1f2b763..7334e28 100644
--- a/content/blog/coq_dawn.md
+++ b/content/blog/coq_dawn.md
@@ -2,7 +2,6 @@
 title: "Formalizing Dawn in Coq"
 date: 2021-11-20T19:04:57-08:00
 tags: ["Coq", "Dawn"]
-draft: true
 ---
 
 The [_Foundations of Dawn_](https://www.dawn-lang.org/posts/foundations-ucc/) article came up