From bb5a2605c4981036d507f3adec8d23c52415e886 Mon Sep 17 00:00:00 2001
From: jultty <jutty@tuta.io>
Date: Thu, 28 Nov 2024 11:22:40 -0300
Subject: [PATCH] New link: Dependent Types and HTTP Headers

---
 content/links/unwoundstack-dependent-types-http-headers.md | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 content/links/unwoundstack-dependent-types-http-headers.md

diff --git a/content/links/unwoundstack-dependent-types-http-headers.md b/content/links/unwoundstack-dependent-types-http-headers.md
new file mode 100644
index 0000000..99ee0ef
--- /dev/null
+++ b/content/links/unwoundstack-dependent-types-http-headers.md
@@ -0,0 +1,6 @@
++++
+title = "Dependent Types and the Art of HTTP Headers"
+date = 2024-11-28
+[extra]
+url = "https://www.unwoundstack.com/blog/dependent-types-and-http-headers.html"
++++