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: 4 months 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 (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2025-05-12T09:12:24.000Z (about 1 year ago)
- Last Synced: 2025-12-23T15:06:58.887Z (6 months ago)
- Topics: idris, idris2, library, package, url
- Language: Idris
- Homepage:
- Size: 22.5 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-editor.org/info/rfc1738).
## Feature
- [x] General Sytax
- [x] HTTP URL parse and stringify
- [ ] HTTP URL utils
- [ ] FTP URL
## Test
```bash
pack test url
```
Or
```bash
find . -name '*.idr' | entr -s 'pack test url'
```