diff options
| author | DJ O'Leary <dijitol@proton.me> | 2025-11-29 20:08:11 +0100 |
|---|---|---|
| committer | DJ O'Leary <dijitol@proton.me> | 2025-11-29 20:09:11 +0100 |
| commit | 87277098e997661f432be56c27f4b54d51aa9306 (patch) | |
| tree | 83846830e5102120ef298e8ad9a552b30203fdc6 /2025/ocaml/flake.nix | |
| parent | 0bf49c4ec799445350c60a96a754e44ac15a2268 (diff) | |
chore: use updated template
Diffstat (limited to '2025/ocaml/flake.nix')
| -rw-r--r-- | 2025/ocaml/flake.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/2025/ocaml/flake.nix b/2025/ocaml/flake.nix index 163e41e..54d7b3f 100644 --- a/2025/ocaml/flake.nix +++ b/2025/ocaml/flake.nix @@ -25,14 +25,20 @@ utop # REPL + odoc # documentation generator + alcotest # unit test framework bisect_ppx # test coverage - - odoc # documentation generator + qcheck-core # property-based testing + qcheck-alcotest # property-based testing + janeStreet.ppx_inline_test # inline test library + janeStreet.ppx_expect # inline test library janeStreet.re2 # regular expression library fmt # pretty printing library cmdliner # command line library + ppx_deriving # derivers + logs # logging library ]; sysTools = with pkgs; [ go-task |