Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/running-grass/idris2-url

A URL library for idris2, Based on RFC 1738.
https://github.com/running-grass/idris2-url

idris idris2 library package url

Last synced: about 1 month ago
JSON representation

A URL library for idris2, Based on RFC 1738.

Awesome Lists containing this project

README

        

# idris2-url
WIP……

A URL library for idris2, Based on [RFC 1738](https://www.rfc-wiki.org/wiki/RFC1738).

# Feature
- [x] General Sytax
- [x] HTTP URL parse and stringify
- [ ] HTTP URL utils
- [ ] FTP URL