[Agda] Agda speed in Ubuntu

Nils Anders Danielsson nad at cse.gu.se
Sat Aug 3 21:19:29 CEST 2019


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?

-- 
/NAD


More information about the Agda mailing list