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

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.

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'
```