From da64309febaa8951e5d07e9c511240f40f0ab102 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Tue, 24 Oct 2023 14:02:45 -0500
Subject: [PATCH] undraft path induction post

---
 .../posts/2023-10-23-path-induction-gadt-perspective.lagda.md    | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md b/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md
index 805dc34..11bc3e6 100644
--- a/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md
+++ b/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md
@@ -3,7 +3,6 @@ title: "Path induction: a GADT perspective"
 slug: 2023-10-23-path-induction-gadt-perspective
 date: 2023-10-23
 tags: ["type-theory"]
-draft: true
 ---
 
 <details>