Quinn

add `nix` to ci

2

i'm starting a branch on my fork for this. ## one solution `cp hs-to-coq.yml hs-to-coq-nix.yml` and replace `stack`-built executable with `nix`-built executable in `hs-to-coq-nix.yml` when it tests that `examples` work...

with a very liberal "just append stuff till the executable stops complaining" approach toward making an `edits` file, I've almost gotten an `examples/bytestring` together. I used a `git submodule add`...

I'm gathering that there's a diversity of tactics. - Just codegen over the whole library, like `examples/containers` - axiomatize parts of it by hand, like `examples/wc`'s strategy toward `bytestring` [re...

streamline, standardize, and tutorialize the process of adding an example to `examples`

1

For `hs-to-coq` to grow into a mighty asset, more community involvement in adding supported libraries could be invaluable. In the [`wc` example](https://github.com/plclub/hs-to-coq/tree/777a301da1fa57b337b6a90962efe7af7d6376c9/examples/wc), prior examples `containers` and `transformers` are viewed as...

proper usage of `--import-dir`, or; how to use `hs-to-coq` on codebases with imports

8

Hello! I have a minimal example here. the `hs-to-coq` executable was created with `stack install`, but there is some nix in here - ls/tree ``` $ ls edits Main.hs hs-to-coq/...

# Desired behavior Maybe a direction the `cli` could go in would look like the following: if `containers` is specified in some config file, then `hs-to-coq` goes to some central...

see https://github.com/aantron/bisect-starter-rescript/issues/3 and https://github.com/rescript-lang/rescript-compiler/issues/5596

Fix for `rescript 10.0.1`

4

Taking a quick stab at this: https://github.com/aantron/bisect-starter-rescript/issues/3 when you try `rescript` 10 with `bisect_ppx`: ``` $ rescript Dependency on bisect_ppx rescript: [1/4] src/common/bisect_common-Bisect.cmi FAILED: src/common/bisect_common-Bisect.cmi File "/home/.../bisect-starter-rescript/node_modules/bisect_ppx/src/common/bisect_common.mli", line 68, characters...

package `pytrec-eval` not available from any of the selected providers.

4

When I put [`beir`](https://pypi.org/project/beir/) in `requirements.txt`: ``` The Package 'pytrec-eval' (build: ()) is not available from any of the selected providers ['nixpkgs', 'sdist', 'wheel'] for the selected python version The...

`error: stack overflow (possible infinite recursion)` (nodejs)

2

I have a monorepo, with a toplevel `package.json` defining workspaces and `packages/*/package.json` 5 times over, defining 5 yarn packages, but there's one `yarn.lock` at the top level. To reproduce my...