From b0e501f08652de10d1e91d02151328f8568b46eb Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Wed, 12 Aug 2020 15:48:53 -0700 Subject: [PATCH] Publish the new typesafe interpreter post. --- content/blog/typesafe_interpreter_tuples.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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