Skip to content

Instantly share code, notes, and snippets.

@meditans

meditans/haskell-z3.nix Secret

Created March 4, 2019 23:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save meditans/1662c43f0dfb33ca385b3b942e4a7a28 to your computer and use it in GitHub Desktop.
Save meditans/1662c43f0dfb33ca385b3b942e4a7a28 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
haskell-z3.nix
self: super: {
haskellPackages = super.haskellPackages.extend (selfHS: superHS: {
z3 = self.haskellPackages.callPackage /home/carlo/code/haskell/forks/haskell-z3/default.nix {};
});
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment