Uploaded at Nov 28 14:06:51 2020
Succesfully tested at Jan 24 07:57:27 2021

Curry Package url

url

This package contains a library for dealing with URLs.

Currently, it contains only an operation to read the contents of a document located by a URL. This operation requires that the program "wget" is in your path, otherwise the implementation must be adapted to the local installation.



Download

Checkout with CPM:
cypm checkout url 3.0.0
Package source:
url-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/url.git