[Agda] Installing Idris without breaking Agda

[Nils Anders Danielsson]

On 29/10/2018 00.03, Dave Martin wrote:
> cabal: The following packages are likely to be broken by the reinstalls:
> uri-encode-1.5.0.5
> Agda-2.5.3
> Use --force-reinstalls if you want to install anyway.
> 
> Ah, what is going on here? I don't want to break Agda!

My guess is that you would not break the compiled program, but only the
library.

-- 
/NAD