Dependent Types and the Art of HTTP Headers

6 points | by todsacerdoti 11 hours ago