ocaml tag

13 questions

1 answers
119 views
0

I want to link Core libraries in Facebook Reason

OCaml 4.02.3, Reason 0.0.5, and OS X 10.11.5.Reason codes are as follows:open Core.Std;printf test%f (Float.of_int3);Compile.$rebuild-pkgs core a.nativeNo binaries are generated with errors.If you add...

facebook ocaml reason

2 years ago

1 answers
125 views
0

I can't install the OCaml package well.

The environment is as follows:Linux kali 3.7-trunk-amd64#1 SMP Debian 3.7.2-0+kali5x86_64GNU/LinuxIf you try to install as follows, sudo apt-get-f install ocaml-findlib camlidl libcamomile-ocaml-dev c...

debian ocaml

2 years ago

1 answers
53 views
0

Coq installed via opam

I am currently running opam install coq on the mac, and the error is not discharged, but it seems that the make has not been completed even after waiting for two hours.So I'd like to ask you, how long...

macos ocaml

2 years ago

- 2 -

Popular Tags

python x 4647

android x 1593

java x 1494

javascript x 1427

c x 927

c++ x 878

ruby-on-rails x 696

php x 692

python3 x 685

html x 656