Dependent Types and the Art of HTTP Headers (via ehamberg) — discussion

#programming