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