[Agda] Where is paper Short description of ALF

Roly Perera roly.perera at dynamicaspects.org
Fri Sep 18 16:01:30 CEST 2009


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


More information about the Agda mailing list