from
Hacker News
Top
New
Dependent Types and the Art of HTTP Headers
by
g0xA52A2A
on 11/30/24, 8:11 AM with 1 comments
by
compressedgas
on 11/30/24, 8:37 AM
The URL appears to be wrong. An article with that title exists at:
https://unwoundstack.com/blog/dependent-types-and-http-heade...