11 lines
247 B
Nix
11 lines
247 B
Nix
|
{ callPackage }:
|
||
|
|
{
|
||
|
|
idris2 = callPackage ./idris2.nix { };
|
||
|
|
idris2Api = callPackage ./idris2-api.nix { };
|
||
|
|
idris2Lsp = callPackage ./idris2-lsp.nix { };
|
||
|
|
|
||
|
|
pack = callPackage ./pack.nix { };
|
||
|
|
|
||
|
|
buildIdris = callPackage ./build-idris.nix { };
|
||
|
|
}
|