[Agda] Precedence of arrow

Martin Escardo m.escardo at cs.bham.ac.uk
Fri Jan 10 18:18:35 CET 2020

Previous message (by thread): [Agda] a tutorial for proof by coinduction
Next message (by thread): [Agda] Precedence of arrow
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What is the precedence of -> for (dependent) function type formation?

Thanks,
Martin

Previous message (by thread): [Agda] a tutorial for proof by coinduction
Next message (by thread): [Agda] Precedence of arrow
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list