uwap / idris-http

An HTTP library for idris

uwap/idris-http Issues

There is no way of sending a body with a request
Closed 6 years ago1
Chunked Encoding doesn't work yet
Updated 6 years ago2
URLs are always sent in absolute form (http://example.com/a/b/c), but normally only the path is required (/a/b/c)
Closed 6 years ago1
Unable to parse output of `www.google.com`
Closed 6 years ago1
Travis Broken
Closed 6 years ago
Unable to build with Idris v0.12.3
Closed 8 years ago2
Cookies
Updated 9 years ago
Travis still doesn't wait
Closed 9 years ago
Fix Travis
Closed 9 years ago1