shell/idris.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{}:
with import <nixpkgs> {};
let
  idrDependencies = with pkgs.idrisPackages; [
    js
  ];
  dependencies = with pkgs; [
    idris2
  ];
in
stdenv.mkDerivation {
  name = "idris-pigeon";
  buildInputs = dependencies ++ idrDependencies;
}