Plumbing is developed publicly at:
https://github.com/quantumsoftwarelab/plumbing
Use GitHub issues for bug reports, questions, and proposed changes.
The supported source build uses Nix flakes:
nix develop -c dune build
nix develop -c dune testPython binding checks can be run from the same source tree:
nix develop -c env PYTHONPATH=python python3 -m pytest -q python/testsDo not run multiple dune builds or tests in the same worktree at the same
time.
Keep changes focused. If a change affects the parser, type checker, runtime, proof material, or public documentation, include tests or a clear explanation of why tests are not applicable.
Contributions are made under the project licence, AGPL-3.0-or-later.