Installing packages through cabal
We can use --package-env
flag to avoid conflicts with other installed packages
Example for agda
Installing agda
cabal v2-install --package-env agda --lib Agda ieee754
Running agda
GHC_ENVIRONMENT=agda agda -c hello-world.agda
References: