Quinn

Desired behavior is for `working_directory` to be relative to root project dir, basically wherever the `.git` directory is.

Error message doesn't mention `Pervasive`. ``` FAILED: src/common/bisect_common-Bisect.cmi File "/home/qd/.../bisect-starter-rescript/node_modules/bisect_ppx/src/common/bisect_common.mli", line 68, characters 42-53: Error: Unbound type constructor out_channel FAILED: cannot make progress due to previous errors. Failure: /home/qd/.../bisect-starter-rescript/node_modules/rescript/linux/ninja.exe Location:...

same for `jupyterlab`

issue too broad, but has a lot of useful notes and discussion on it so i'm reticent to close it

also a problem on emacs 26 Doom

[Reference example](https://forum.rescript-lang.org/t/variant-primitive-type-alias/3060/3)

[this](github.com/aantron/bisect-starter-rescript) repo fails by being unable to find the `cp` executable from within `esy` on `nixos` (22.05) _in everything but vscode_. In vscode's shell it works. I did `/usr/bin/env >...

ibm has a pycoq too https://github.com/IBM/pycoq

I briefly considered wiggling the `hs-to-coq.cabal` file thinking that would be the best way to effect the packages reachable by the version of `ghc` that lives inside the `hs-to-coq` executable,...

Thanks. Having trouble getting `stack exec hs-to-coq` to work (it put the executable in `~/.local/bin`). I've also played with the `--ghc` flag with no luck. ``` $ stack exec hs-to-coq...