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" ++++