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: