nix-shell -p 'with import <nixpkgs> {};
              pkgs.haskellPackages.ghcWithPackages
                (p: [pkgs.haskell.lib.dontCheck
                      (pkgs.haskell.lib.dontHaddock
                       (pkgs.haskellPackages.callCabal2nix "Agda" (fetchFromGitHub {"owner"= "agda"; "repo"= "agda"; "rev"= "ac38171335f3cdd4be92326c1b3aace484320803"; "sha256"= "1y3x78shzci6xz1n52djjy70y9bilsm9zmcqpn8cb1498cha2wrl"; } ) {})
                      )])'