blog/content/links/unwoundstack-dependent-types-http-headers.md

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