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>