[Agda] Re: Nested with

Ben Horsfall ben.horsfall at gmail.com
Sat Jun 6 00:53:54 CEST 2009


On Fri, Jun 05, 2009 at 11:09:48AM +1000, Ben Horsfall wrote:
> Could someone post/direct me to an example of a nested with-expression?

Thanks everyone!


More information about the Agda mailing list