[Agda] Pattern matching order?

Nils Anders Danielsson nad at chalmers.se
Sat Feb 25 13:42:39 CET 2012

On 2012-02-21 16:27, Brandon Moore wrote:
> It seems patterns are always matched left to right.

More or less:


> Is there any way [...] to have binding occurances inside a dot
> pattern?



More information about the Agda mailing list