Skip to content

Instantly share code, notes, and snippets.

@MostAwesomeDude MostAwesomeDude/shell.nix Secret
Created Aug 3, 2019

Embed
What would you like to do?
{ nixpkgs ? import <nixpkgs> {} }:
let
inherit (nixpkgs) pkgs;
idris = pkgs.idrisPackages.with-packages (with pkgs.idrisPackages; [ contrib ]);
in pkgs.stdenv.mkDerivation {
name = "midriff-env";
buildInputs = with pkgs; [
git gist
idris
python2Packages.pyflakes
];
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.