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: 27 days ago
JSON representation

A URL library for idris2, Based on RFC 1738.

• Host: GitHub
• URL: https://github.com/running-grass/idris2-url
• Owner: running-grass
• License: mit
• Created: 2022-07-29T15:54:24.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-08-06T10:23:24.000Z (over 2 years ago)
• Last Synced: 2023-03-05T13:18:33.401Z (over 1 year ago)
• Topics: idris, idris2, library, package, url
• Language: Idris
• Homepage:
• Size: 13.7 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

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