https://github.com/yuras/lean4-http-client

Http client for lean4
https://github.com/yuras/lean4-http-client

http http-client lean4

Last synced: 7 months ago
JSON representation

Http client for lean4

• Host: GitHub
• URL: https://github.com/yuras/lean4-http-client
• Owner: Yuras
• Created: 2024-03-03T21:28:41.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-03-23T09:57:35.000Z (almost 2 years ago)
• Last Synced: 2025-02-18T09:19:39.946Z (12 months ago)
• Topics: http, http-client, lean4
• Language: Lean
• Homepage:
• Size: 43 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
HTTP client for Lean4

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

Example

```lean

import «HttpClient»

def main : IO Unit := do

  let response ← HttpClient.get "http://localhost:8080/test"

  IO.println response

```

For more control, use `HttpClient.runRequest`