https://github.com/uwap/idris-http
Idris39
5 years ago
An HTTP library for idris
BSD 2-Clause "Simplified" License