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 _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml