Date: Wed, 13 Oct 1999 13:11:47 +0200
From: "Francisco Valverde Albacete" <fva@tsc.uc3m.es>
To: Pierre Weis <Pierre.Weis@inria.fr>
Subject: Re: Option types and O'Labl merger
Jacques Garrigue wrote:
> By the way, and this also an answer to another mail I saw recently,
> O'Caml and O'Labl are going to merge soon. That is, O'Labl features
> will be merged into the official O'Caml release (beware though that
> the syntax may be slightly changed to fit everybody's taste).
I think it is only just that we thank everybody working in the merge. I know
I am more than willing to pay for the adaption cost.
Francisco Valverde
Universidad Carlos III de Madrid
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:27 MET