|
Question on GADT and variance annotation
|
|
7
|
602
|
October 23, 2025
|
|
How to link statically with libgmp on Windows?
|
|
9
|
281
|
October 23, 2025
|
|
Using Format.sprintf
|
|
6
|
275
|
October 19, 2025
|
|
How to safely take from multiple Eio streams?
|
|
3
|
226
|
October 18, 2025
|
|
Weird path errors building stuff for Windows in Github CI
|
|
9
|
210
|
October 18, 2025
|
|
Does updating an immutable record field always create a new object?
|
|
5
|
320
|
October 16, 2025
|
|
PyML Numpy import error
|
|
1
|
162
|
October 15, 2025
|
|
[discuss] what would be the syntax for oo with the rescript ocaml syntax?
|
|
5
|
320
|
October 15, 2025
|
|
Pretty-printing with Format
|
|
6
|
365
|
October 14, 2025
|
|
Given a variant, is it possible to write a type signature for a list of tuples of that variant where each pair must be the same specific variant?
|
|
4
|
215
|
October 13, 2025
|
|
Tutorial on GADTs
|
|
28
|
4053
|
October 12, 2025
|
|
[ann] tutorial about compiling ocaml-5 on a ChromeBook with Crostini
|
|
4
|
187
|
October 12, 2025
|
|
Mnemonic for <> versus !=
|
|
11
|
578
|
October 11, 2025
|
|
Managing external dependencies on macOS
|
|
4
|
149
|
October 7, 2025
|
|
Conditional dependencies in dune-project
|
|
6
|
279
|
October 2, 2025
|
|
[ann] nim-ocaml
|
|
0
|
208
|
October 1, 2025
|
|
[ann-s] [tut] seven ocaml tutorials
|
|
3
|
376
|
September 27, 2025
|
|
Multiple `with type`s in first-class module signatures results in confusing error message
|
|
2
|
155
|
September 27, 2025
|
|
[ann] Detrow, a command-line calendar
|
|
0
|
132
|
September 27, 2025
|
|
[ann] mini-svg version 0.03.13b, of 0.03.13
|
|
0
|
88
|
September 26, 2025
|
|
[ann] mltree cmd
|
|
22
|
694
|
September 26, 2025
|
|
[ann] mk-man module
|
|
0
|
74
|
September 26, 2025
|
|
[ann] ocaml-xmlerr 0.08.2 available
|
|
1
|
151
|
September 26, 2025
|
|
[ann] gil scm .cmd
|
|
0
|
71
|
September 26, 2025
|
|
Conditional library dependencies
|
|
2
|
185
|
September 24, 2025
|
|
[searching] I'm looking for the "glorified hello-world" lib
|
|
8
|
276
|
September 23, 2025
|
|
Naive implementation of Cyclic barrier
|
|
2
|
229
|
September 23, 2025
|
|
[ann] detri cmd
|
|
0
|
107
|
September 23, 2025
|
|
[ann] mk-index cmd
|
|
0
|
125
|
September 21, 2025
|
|
[game] binkohp 2013
|
|
1
|
152
|
September 21, 2025
|