diff --git a/content/blog/dyno_alloy/index.md b/content/blog/dyno_alloy/index.md index 7aebc93..0161fb9 100644 --- a/content/blog/dyno_alloy/index.md +++ b/content/blog/dyno_alloy/index.md @@ -2,6 +2,7 @@ title: "Proving My Compiler Code Incorrect With Alloy" date: 2023-05-02T22:48:52-07:00 tags: ["Compilers", "Alloy"] +expirydate: 2022-04-22T12:19:22-07:00 draft: true ---