On 2016-01-21 15:41 -0500, Hendrik Boom wrote:

> I'm both surprised and pleased to see OCaml to escape from the
> clutches of logicians and theorem provers into the wider world of
> system programming.

Heh - you don't know how many of us posing as VUAs are in fact logicians
in disguise :-)

--
Please *no* private copies of mailing list or newsgroup messages.
Rule 420: All persons more than eight miles high to leave the court.