From dfbdf2d4ffe31b7a1fd56b4d9c2ab74d2bceb611 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Tue, 11 Jun 2024 10:58:14 -0400 Subject: [PATCH] update path --- src/content/posts/2024-06-11-logical-relations.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/content/posts/2024-06-11-logical-relations.lagda.md b/src/content/posts/2024-06-11-logical-relations.lagda.md index f7a22b8..8d310a4 100644 --- a/src/content/posts/2024-06-11-logical-relations.lagda.md +++ b/src/content/posts/2024-06-11-logical-relations.lagda.md @@ -1,6 +1,6 @@ --- title: "Logical Relations" -slug: 2024-06-11-path-induction-gadt-perspective +slug: 2024-06-11-logical-relations date: 2024-06-11 tags: ["programming-languages", "formal-verification"] draft: true