3 ms·
Maybe OCaml, but I haven't studied it much.
by MathMonkeyMan 2y ago
Maybe OCaml, but I haven't studied it much.
- g15jv2dp 2y agoI doubt it's been proved to be sound. It shows up a lot on https://counterexamples.org/ https://counterexamples.org/, although if I skim the issues seem to have been fixed since then.
- IsTom 2y agoI've run a few times into messages of the sort "you can't use these features together" before and I assume at least sometimes these were lessons that they had to learn the hard way.