[Agda] Precedence of arrow

[Guillaume Allais]

Hi Martin,

`->` is directly handled in the parser so it will be lower than any
precedence you may declare with an `infix(l/r)`.

Best,
--
gallais

On 10/01/2020 17:18, Martin Escardo wrote:
> What is the precedence of -> for (dependent) function type formation?
> 
> Thanks,
> Martin
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda