The OCaml Planet

The RSS aggregator for the OCaml community.

The OCaml Planet

Uuidm 0.9.0

11 Jun 2008 - Daniel Bünzli

Announcing Ssreflect 1.1

06 Jun 2008 - Coq

CEA becomes member of the Caml Consortium

03 Jun 2008 - Caml INRIA

New CoLoR release

09 May 2008 - Coq

R mode in Chamo A R mode is now available for Chamo, as a separate snippet . By now, this mode has only one key binding, to call the "r_eval" command. This ...

06 May 2008 - Cameleon news

OCamlbuild support in Chamo The Chamo editor now includes some ocamlbuild support through the internal command "ocaml_build": An ocamlbuild command is proposed to the u...

30 Apr 2008 - Cameleon news

Xmlm 1.0.0

17 Mar 2008 - Daniel Bünzli

Objective Caml 3.10.2 released

29 Feb 2008 - Caml INRIA

Le nouveau site est en ligne !

15 Feb 2008 - Coq

The power of doing nothing.... There's an ongoing discussion on COCAN on how to make errors explicit in function signatures (the proposed solution is to go exceptionless ...

10 Feb 2008 - Till Varoquaux

... 143 144 145 ... 147

If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.