[Agda] Agda speed in Ubuntu

[Martin Escardo]

On 03/08/2019 20:19, nad at cse.gu.se wrote:
> On 02/08/2019 23.13, Martin Escardo wrote:
>> I copied the tree .cabal from Ubuntu 16.04 to 18.04, given that both
>> run ghc 8.0.2, and given that I kept my fingers crossed.
> 
> What did you copy?

1804:~$ mv .cabal cabal-1804
1804:~$ cp -a /<16.04-partition>/home/mhe/.cabal cabal-1604
1804:~$ ln -s ~/cabal-1604 .cabal

Martin