idris-http

idris-http copied to clipboard

When it comes to transfer encodings idris-http lacks a lot of features. Chunked Encoding is a special case that needs special review. With chunked encoding we are bound to counting...

uwap

We need to implement cookie support for the initial release. **Implementation Details** Since for now we see header fields as a `SortedMap String String` (which I would like to change...

uwap