Dependent Types and the Art of HTTP Headers
2 points by g0xA52A2A 7 months ago | 1 comment- compressedgas 7 months agoThe URL appears to be wrong. An article with that title exists at: https://unwoundstack.com/blog/dependent-types-and-http-heade...
- 7 months ago