add pointer to batteries
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 9 Nov 2008 14:40:40 +0000 (15:40 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 9 Nov 2008 14:40:40 +0000 (15:40 +0100)
hacking/software.mdwn

index d5d5d81..c82e415 100644 (file)
@@ -12,6 +12,9 @@ Below you can find a list of the software projects I've been involved with
 package](http://packages.qa.debian.org/matita)]
 * **Carbon** - a strict, strongly-typed, functional programming language
 [[homepage](http://home.gna.org/carbon)]
+* OCaml **Batteries Included** - *consistent*, *documented*, and
+*comprehensive* [OCaml](http://caml.inria.fr) development platform
+[[homepage](http://batteries.forge.ocamlcore.org)]
 * **CamlBZ2** - [OCaml](http://caml.inria.fr) bindings for
 [`bzip2`](http://www.bzip.org)
 [[homepage](http://camlbz2.forge.ocamlcore.org)]