HTTP client for Lean4

Status: not designed for any serious use, at least not yet

Example

import «HttpClient»

def main : IO Unit := do
  let response ← HttpClient.get "http://localhost:8080/test"
  IO.println response

For more control, use HttpClient.runRequest