Sunday 25 January 2009

Why I like Haskell

"
To compile Coq, you need:

* Objective Caml (3.07 ≤ version but 3.08.0).
For Objective Caml ≥ 3.10.0, you will need to install Camlp5 (version 4.08, or ≥ 5.01 transitional, or ≥ 5.10 if with Objective Caml ≥ 3.11.0)
"

(from the coq webpage)

No comments: