I really don't want to write my own HTTP lib, so here's curl.
This will provide the Easy interface of direct all-at-once actions and the Multi interface which exposes the full power of curl.
Further this will provide methods to use curl as a replacement for Idris' network package when used for internet connections.
You can install via idris2 directly:
idris2 --install package.ipkg
Or via the Makefile:
make install
Or via the sae tool:
sae-linux install
This package follows Haskell PVP which is distinct from SEMVER in that when examining 1.2.3, 1.2 is the Major Version rather than 1.