Skip to content

Basic HTTP definitions and parsing for Lean

License

Notifications You must be signed in to change notification settings

JamesGallicchio/http

Repository files navigation

Http definitions for Lean

Intended to be a base package for handling HTTP traffic. Modeled after the rust http package.

Usage

Add the following to your project's lakefile.lean:

require Http from git "https://github.com/JamesGallicchio/http" @ "main"

When running lake update, there will be some warnings because one of the dependencies is not up to date. This should be fixed soon.

Contributing

If you would like to contribute, please open a PR! Make sure to add yourself to the authors list below, in case we ever need to contact the copyright holders.

Authors

JamesGallicchio

Originally forked from lurk-lab/Http.lean. Although all of the source material has been rewritten, the authors of that library at the time of the fork included:

Anderssorby arthurpaolino xubaiw

About

Basic HTTP definitions and parsing for Lean

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages