diff --git a/content/blog/haskell_newtype.md b/content/blog/haskell_newtype.md
index f91d1aa..0bb4a1b 100644
--- a/content/blog/haskell_newtype.md
+++ b/content/blog/haskell_newtype.md
@@ -1,6 +1,7 @@
 ---
 title: "Multiple Typeclass Instances using Newtype in Haskell"
 date: 2022-04-28T23:09:42-07:00
+expirydate: 2022-04-28T23:09:42-07:00
 tags: ["Haskell"]
 draft: true
 ---
diff --git a/content/blog/idris_catamorphisms.md b/content/blog/idris_catamorphisms.md
index 6298228..0398569 100644
--- a/content/blog/idris_catamorphisms.md
+++ b/content/blog/idris_catamorphisms.md
@@ -1,6 +1,7 @@
 ---
 title: "Induction Principles from Base Functors"
 date: 2022-04-22T12:19:22-07:00
+expirydate: 2022-04-22T12:19:22-07:00
 tags: ["Idris"]
 draft: true
 ---
diff --git a/content/blog/typeclasses_are_logic.md b/content/blog/typeclasses_are_logic.md
index 5566c90..510f12c 100644
--- a/content/blog/typeclasses_are_logic.md
+++ b/content/blog/typeclasses_are_logic.md
@@ -1,6 +1,7 @@
 ---
 title: Typeclasses are Basically Logic Programming
 date: 2021-06-28T17:11:38-07:00
+expirydate: 2021-06-28T17:11:38-07:00
 draft: true
 description: "In this post, we explore the connection between typeclasses and logic programming."
 tags: ["Haskell", "Prolog"]