The OCaml Planet

The RSS aggregator for the OCaml community.

The OCaml Planet

Objective Caml 3.11.0 released
04 Dec 2008 - Caml INRIA
default logo
Exercice
13 Oct 2008 - David Baelde
default logo
OCamlCore joins The Caml Consortium
10 Oct 2008 - OCamlCore.com
default logo
OCamlCore at OCaml Meeting 2009
08 Oct 2008 - OCamlCore.com
default logo
Release of Coq 8.2 (beta)
17 Jun 2008 - Coq
default logo
Uuidm 0.9.0
11 Jun 2008 - Daniel Bünzli
default logo
Announcing Ssreflect 1.1
06 Jun 2008 - Coq
default logo
New CoLoR release
09 May 2008 - Coq
default logo
If you want to contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.