{ pkgs ? import <nixpkgs> { } }:

pkgs.mkShell {
  name = "emi5";

  nativeBuildInputs = with pkgs; [
    (haskellPackages.ghcWithPackages (pkgs: with pkgs; [
      QuickCheck
    ]))
  ];
}