[Agda] Re: Associativity for free!

[James Chapman]

On Nov 4, 2011, at 3:42 PM, Andrea Vezzosi wrote:
> On Fri, Nov 4, 2011 at 12:29 PM, James Chapman <james at cs.ioc.ee> wrote:
> And yet, even without fancy representations, it can be trimmed down to
> 109 lines and many less intermediate constructions by working under a
> context:

Neat! Thanks, perhaps I should post my code to the agda list more often ;)

James