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.