[Agda] Agda speed in Ubuntu

Martin Escardo m.escardo at cs.bham.ac.uk
Sat Aug 17 22:05:46 CEST 2019



On 17/08/2019 10:41, nad at cse.gu.se wrote:
> 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
> 

I tried without success.

Ghc's documentation is not friendly, and Google search is not helping 
either.

Martin


More information about the Agda mailing list