[polyml] HTTP protocol socket code

makarius＠sketis.net

16 Feb 2011 16 Feb '11

7:20 p.m.

On Wed, 16 Feb 2011, Lucas Dixon wrote:

Does anyone know of some HTTP code written in ML? I'd like to programmatically, in ML, do some web-queries...

There is some in Isabelle2011/src/Tools/WWW_Find/, but that's a server not a client.

Makarius