[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[Nils Anders Danielsson]

On 2021-12-06 22:01, mechvel at scico.botik.ru wrote:
> Before installing Agda, I always command (in Linux)
> 
>   $ ghc -V
>   $ which ghc
> 
> to see the GHC version and to see where does it reside.
> I do the same before running `agda' to type-check, and then to compile my library.
> Is it possible for another GHC version to intrude?

If you do not use --with-compiler, then I would assume that Agda just
calls "ghc".

-- 
/NAD