Caml Consortium at Inria.

[Alexandre C. Guimarães]

Hello,

Let's inaugurate the OCaml mail list to bring to the light there is a 
possibility of FreeBSD become part of the "Caml Consortium at Inria".

https://ocaml.org/consortium/

INRIA (Institut National de Recherche en Informatique et en Automatique), 
what translate to "[French National Institute for Research in Computer 
Science and Automation", is the responsible by the OCaml design and 
development, among several others interesting projects like "The Coq Proof 
Assistant".

Becoming part of that consortium would be very interesting for FreeBSD 
since it would become officially part of the OCaml Language design and 
development, programing environment, and also would be specially benefited 
with a BSD-style license for OCaml:

https://ocaml.org/docs/consortium-license.html

To become part of that consortium it is necessary to pay a reasonable small 
fee of 3500€ (looks like an one time investment).

As we all know the FreeBSD Foundation is not a wealthy entity, and the 
necessary resources to pay that fee, unfortunately, cannot be made 
available.

That said, if there is an entity or entities that could make that necessary 
resource available for FreeBSD, we could start the process to get closely 
involved with OCaml, and also with INRIA, and the others members already 
part of that consortium.


-- 
Best Regards,
Alexandre C. Guimarães.
https://bitbucket.org/rigoletto-freebsd/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 963 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-ocaml/attachments/20190412/60b41a8b/attachment.sig>