[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