Confused about the application operator's behavior with type variant constructors
|
|
8
|
248
|
December 16, 2022
|
How does one automatically make an proj.opam file automatically (like ones in python pip freeze > requirements.txt)?
|
|
4
|
189
|
December 16, 2022
|
Debug OCaml code
|
|
47
|
1632
|
December 16, 2022
|
Can I have arbitrary text fields in a proj.opam file? Can it be converted to json too if I want?
|
|
4
|
174
|
December 16, 2022
|
Ocaml-5.0.0~alpha1 + utop + #require "domainslib";;
|
|
3
|
257
|
December 16, 2022
|
How does one install a ocaml package that is a tar.gz using opam?
|
|
3
|
185
|
December 15, 2022
|
Is eval $(opam env --switch={switch} --set-switch) equivalent to opam switch set switch?
|
|
7
|
220
|
December 15, 2022
|
Unhelpful error message unmet availability `unmet availability conditions: 'sys-ocaml-version = "4.07.1"'`
|
|
8
|
258
|
December 15, 2022
|
How does one build a coq_proj.opam file automatically from a successfully compile local version?
|
|
0
|
91
|
December 15, 2022
|
How do I have opam show me the version to download a package?
|
|
3
|
134
|
December 14, 2022
|
What is the difference between opam pin and opam install, when to use one vs the other?
|
|
5
|
363
|
December 14, 2022
|
How does one reinstall an opam package/proj using the absolute path to the project without relying on opam pin?
|
|
0
|
144
|
December 12, 2022
|
Typing puzzle: type constructor arity abstraction (for Seqes)
|
|
3
|
298
|
December 14, 2022
|
Am I wrong about Effects? I see them as a step back
|
|
19
|
1758
|
December 14, 2022
|
Expression works in utop but won't build
|
|
2
|
220
|
December 10, 2022
|
Why can't I get ocaml 4.07.1 in my ubuntu docker container - how to fix?
|
|
1
|
160
|
December 10, 2022
|
Real World Ocaml Book Example won't compile
|
|
1
|
215
|
December 9, 2022
|
Control upon `ld` used with `-output-obj`
|
|
0
|
126
|
December 8, 2022
|
Why doesn't my server show the ocaml compiler that I need?
|
|
3
|
294
|
December 7, 2022
|
How does one install opam without sudo in ubuntu without interaction from the user?
|
|
4
|
195
|
December 7, 2022
|
Functor that generates another functor that will only accept arguments with the right types based on the provided module
|
|
0
|
153
|
December 6, 2022
|
Why not compiler check the type when using equal?
|
|
8
|
309
|
December 6, 2022
|
A Y combinator you can actually use?
|
|
18
|
824
|
December 4, 2022
|
Continuation Style confusioon
|
|
4
|
270
|
December 4, 2022
|
Embed an inline test as documentation?
|
|
0
|
170
|
December 4, 2022
|
Self-referential first-class modules in functor signature
|
|
1
|
182
|
December 3, 2022
|
Help me understanding this nested functor that creates unique types each time is called
|
|
10
|
472
|
December 3, 2022
|
Ctypes and toplevel error
|
|
2
|
140
|
December 3, 2022
|
Named arguments to printf format?
|
|
2
|
215
|
December 3, 2022
|
Is there any minimal example to pretty print comments?
|
|
1
|
230
|
December 2, 2022
|