From 0696c713f72715ba3b206630077b203e2f61e7ed Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Mon, 8 May 2023 22:44:03 -0500
Subject: [PATCH] front matter yml

---
 src/2023-05-06-equiv.lagda.md | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/src/2023-05-06-equiv.lagda.md b/src/2023-05-06-equiv.lagda.md
index c4b4747..335b073 100644
--- a/src/2023-05-06-equiv.lagda.md
+++ b/src/2023-05-06-equiv.lagda.md
@@ -1,11 +1,14 @@
-+++
-title = "Equivalences"
-slug = "equivalences"
-date = 2023-05-06
-tags = ["type-theory", "agda", "hott"]
-math = true
-draft = true
-+++
+---
+title: "Equivalences"
+slug: "equivalences"
+date: 2023-05-06
+tags:
+- type-theory
+- agda
+- hott
+math: true
+draft: true
+---
 
 <details>
   <summary>Imports</summary>