Emilio Jesús Gallego Arias

> diff check fails when I push up `.out` files from my machine. Indeed, this is due to us capture the stderr too, let me push a fix.

How long would that thing take? I'm OK with having a normal install, but I'd much prefer if when developing `make` was as fast as is in OCaml now (and...

Do you have a pointer on what's the recommended Python + C stubs developer workflow? When python is developed alone, do people compile anything at all?

I don't know either. Thanks for all the help. Here the thing is that we def need to compile the OCaml parts, and they are output in `_build/default` , so...

Note this tool for the automatic binding from .ml https://github.com/mooreryan/ocaml_python_bindgen cc: @thierry-martinez

> lmao, `dune exec -- python3 test/py/unit/spec.py ` was working perfectly a second ago and suddenly stopped working. @quinn-dougherty , what is the error message? Note that `dune exec --...

> `pytest`, but who's to say we _need_ to be on a proper python test harness. Up to us indeed, but actually it is not that hard to make pytest...

This has conflicts, we follow Coq policy here w.r.t. rebasing / squashing, see https://github.com/coq/coq/blob/master/CONTRIBUTING.md

Had a quick look despite the conflicts, thanks! I think we have a few unrelated things here, I suggest we cherry-pick them to their own PR, a some of them...

Sounds good, I am thinking here about a python test-suite, OCaml tests should be taken care of by the deps.