[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Nils Anders Danielsson]

On 2018-05-23 20:51, Sergei Meshveliani wrote:
>      Couldn't match type ‘MAlonzo.RTE.Inf (T48 xa xA)’ with ‘[xA]’
>      Expected type: xA
>                     -> MAlonzo.RTE.Infinity xa (T48 xa xA) -> T48 xa xA
>        Actual type: xA -> [xA] -> [xA]

See the changelog entry that starts with "The GHC backend now compiles
the INFINITY, SHARP and FLAT builtins in a different way".

-- 
/NAD