Dependent Types and the Art of HTTP Headers (unwoundstack.com)
Making illegal state unrepresentable in Idris
Dependent Types, Programming Languages, Functional Programming, Idris, HTTP
41 points by todsacerdoti 7 days ago | 0 comments