Nicolas Jeannerod
Nicolas Jeannerod
I've given it a try on the usual postinst of ocaml-base-nox. I get 1m7s with BatSet and 1m6s with List. I imagine that most of the time is spent in...
The change we are talking about is just a few lines in src/symbolic/driver.drv, so we can do that whenever we want. However, a few measures on one script might not...
@benozol Does this issue still make sense? Would you want me to try the whole batch run twice, once on each kind of sets?
True, because otherwise we need conversions all the time.
I am actually in the process of rewriting the constraint solver. And its printers. This one looks a bit difficult to write, but should be feasible. — Niols Le 18...
OK for Smallstep vs bigstep. Where should we put the codes corresponding to this book?
I agree, I would prefer to do it by hand instead of extracting it from LaTeX. We will also have to explain how to see the examples somewhere (in the...
I find it hard to start a review process on such a file. For now, I have been hacking something based on [Mozilla Science Lab's guidelines to write a CONTRIBUTING...
Now that https://github.com/tweag/cooked-validators/pull/311 has been merged, you will have a hairy conflict with `main` to resolve... Apart from that, what is the status of this PR? It hasn't moved in...
If you bring back this code, I'll happily have another look myself. I am not an `rsync` expert but it does look like the right tool for a job like...