[Agda] Documentation on "with" patterns

[Roly Perera]

[Apologies for the incorrect subject heading in my original post - now fixed]

2009/9/18 Roly Perera <roly.perera at dynamicaspects.org>:
> Dear Agda list,
>
> Is there any documentation which explains how the Agda "with"
> pattern-matchign notation is used?  It's mentioned on the wiki, but
> only with "..." on the left-hand side of the bar.
>
> many thanks,
> Roly