WIP……
A URL library for idris2, Based on RFC 1738.
- General Sytax
- HTTP URL parse and stringify
- HTTP URL utils
- FTP URL
pack test urlOr
find . -name '*.idr' | entr -s 'pack test url'-
Notifications
You must be signed in to change notification settings - Fork 0
A URL library for idris2, Based on RFC 1738.
License
running-grass/idris2-url
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A URL library for idris2, Based on RFC 1738.