[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate
Andrés Sicard-Ramírez
asr at eafit.edu.co
Tue May 19 21:43:01 CEST 2015
On 19 May 2015 at 14:04, Sergei Meshveliani <mechvel at botik.ru> wrote:
> On my Linux + ghc-7.8.3, it reports
>
> happy version >=1.19.4 && <2 is required but the version
> found at /home/mechvel/.cabal/bin/happy is version 1.19.3
>
> If I install and use a higher GHC version (7.10.1 ?), will this help
> with this Happy version?
You don't need GHC 7.10.1. You can install a new version of Happy.
--
Andrés
More information about the Agda
mailing list