This PR updates the commands mentioned in CONTRIBUTING.md. It removes the no longer existing scripts in favor of up-to-date Cabal / Stack / Nix commands.
Should fix #1027.
This PR also uses consistent longer lines in the file, but it might be less desirable. The associated commit can be removed if it is.
This PR updates the commands mentioned in CONTRIBUTING.md. It removes the no longer existing scripts in favor of up-to-date Cabal / Stack / Nix commands.
Should fix #1027.
This PR also uses consistent longer lines in the file, but it might be less desirable. The associated commit can be removed if it is.