English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Re: Option types and O'Labl merger
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-10-14 (12:48)
From: Francisco Valverde Albacete <fva@t...>
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