diff --git a/content/blog/typesafe_interpreter_tuples.md b/content/blog/typesafe_interpreter_tuples.md
index d2f2302..c96fd99 100644
--- a/content/blog/typesafe_interpreter_tuples.md
+++ b/content/blog/typesafe_interpreter_tuples.md
@@ -1,8 +1,7 @@
 ---
 title: Meaningfully Typechecking a Language in Idris, With Tuples
-date: 2020-08-11T19:57:26-07:00
+date: 2020-08-12T15:48:04-07:00
 tags: ["Idris"]
-draft: true
 ---
 
 Some time ago, I wrote a post titled