pkgs/development/compilers/idris2/default.nix


1
2
3
4
5
6
7
8
9
10

{ callPackage, idris2 }:
{
  inherit idris2;
  idris2Api = callPackage ./idris2-api.nix { };
  idris2Lsp = callPackage ./idris2-lsp.nix { };

  pack = callPackage ./pack.nix { };

  buildIdris = callPackage ./build-idris.nix { };
}