Dependent Types and the Art of HTTP Headers

(unwoundstack.com)

6 points | by todsacerdoti 11 hours ago ago