Наскоро инсталирах OPAM според инструкциите, за да го пробвам и изглежда добре и бих искал да го използвам. Той обаче не успява да открие предварително инсталирани OCAML пакети, които инсталирах ръчно, преди да избера да опитам OPAM. Първото нещо,...

Следвах урок за coq HelloWorld (код по-долу) и не можа да накара програмата да се компилира. Следвах стъпките за инсталиране и инсталирах opam install coq:io:system . Моята инсталация opam е на местоположението по подразбиране ~/.opam . Но все...