jutty/blog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

New link: Dependent Types and HTTP Headers

Browse source
This commit is contained in:
jultty 2024-11-28 11:22:40 -03:00
commit bb5a2605c4
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
content/links/unwoundstack-dependent-types-http-headers.md Normal file
View file

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