This is a http 1.1 client library written in idris2.
Currently, the library supports the following features:
- Reusage of keep-alive connections.
- GZip (RFC 1952) / Zlib Deflate (RFC 1950) decompression.
- TLS (https)
- Incremental sending and receiving via stream
An example on how it can be used can be found in here.
The latest version of this library can be installed with pack.