Publish second Coq post.

3 years ago · 755364c0df
parent dcb1e9a736
commit 755364c0df
1 changed files with 1 additions and 2 deletions
--- a/content/blog/01_aoc_coq.md
+++ b/content/blog/01_aoc_coq.md
@ -1,8 +1,7 @@
 ---
 title: "Advent of Code in Coq - Day 8"
-date: 2020-12-31T17:55:25-08:00
+date: 2021-01-10T22:48:39-08:00
 tags: ["Advent of Code", "Coq"]
-draft: true
 ---

 Huh? We're on day 8? What happened to days 2 through 7?