From 8a2bc2660ce55414edc461a46d81b3abb5fc7d1e Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Wed, 22 Jul 2020 14:38:01 -0700
Subject: [PATCH] Update date on typesafe interpreter.

---
 content/blog/typesafe_interpreter_revisited.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"]
 ---