diff --git a/content/blog/typesafe_interpreter_revisited.md b/content/blog/typesafe_interpreter_revisited.md
index 1b16d92..aef30de 100644
--- a/content/blog/typesafe_interpreter_revisited.md
+++ b/content/blog/typesafe_interpreter_revisited.md
@@ -1,6 +1,6 @@
 ---
 title: Meaningfully Typechecking a Language in Idris, Revisited
-date: 2020-07-19T17:19:02-07:00
+date: 2020-07-22T14:37:35-07:00
 tags: ["Idris"]
 ---