Definitions
Sorry, no definitions found. Check out and contribute to the discussion of this word!
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word ocaml.
Examples
-
And everything I say would apply equally if you replaced "ocaml" with haskell, lisp, or prolog.
-
About the cross-compiler: the ocaml cross-compiler is the result of the hard work done by Richard
Planet Debian 2010
-
The Debian package is merely a backport (and adaptation to ocaml 3.12.0) of his patches.
Planet Debian 2010
-
You're comparing an extremely small general purpose program written in ocaml to a large specialized mathematics package generated by an ocaml program?
-
An updated version of the ocaml cross-compiler package, based on ocaml 3.12.0, has just been uploaded to Debian experimental!
Planet Debian 2010
-
Isabelle and Coq are really neat tools, and one of their most interesting capabilities is that you can extract code from them - given a piece of code and a proof of it, you can generate formally proved haskell / ocaml code etc.
Planet Haskell 2009
-
Another example, libzip-ocaml-dev is a dev package and dh_ocaml make it Depends on
Planet Debian 2009
-
It should prevent user to install packages that don't make good assumptions about libzip-ocaml-dev.
Planet Debian 2009
-
Perhaps he can re-look at it again and update it. no point in debating old point that are not relevant anymore shootout has a great interest but not between C++ and java but between ocaml and java ....
-
Perhaps he can re-look at it again and update it. no point in debating old point that are not relevant anymore shootout has a great interest but not between C++ and java but between ocaml and java ....
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.