[Agda] Agda speed in Ubuntu

[Nils Anders Danielsson]

On 05/08/2019 21.50, Martin Escardo wrote:
> 1804:~$ ghc-pkg describe Agda-2.6.0.1
> ghc-pkg: cannot find package Agda-2.6.0.1
> 1804:~$ ls .ghc/
> ghci_history

If you can locate the package databases, then perhaps you can use the
following command:

   ghc-pkg --package-db=<path to package database> describe Agda-2.6.0.1

-- 
/NAD