1
ответ

Ocaml не распознает List.init в Утопе

Каждый раз, когда я использую List.init, я получаю сообщение об ошибке: Unbound value List.init Я думаю, это потому, что у меня Ocaml 4.03.0 и List.init не был представлен до 4.06.0. Это заставило бы меня поверить, что я ...
вопрос задан: 4 March 2019 22:34
1
ответ

OCaml: не могу найти версию

Когда я вхожу в ocaml --version, он возвращает / usr / bin / ocaml: неизвестный параметр --version. Я установил его с помощью OPAM и выполнил инструкции opam init eval $ (opam env) eval opam env opam switch create ...
вопрос задан: 18 January 2019 17:08
0
ответов

Nix vs. OPAM: зависимости

Еще раз, я хочу установить Coq, поэтому я вынужден выбирать между OPAM и Nix. Поскольку я хотел бы установить одну / менее Мбит / с зависимостей, вопрос прост: какая из них соответствует ...
вопрос задан: 26 March 2019 18:33