[Agda] container examples?

[Jean-Philippe Bernardy]

I have an Agda transcription of some of the "Generic Programming w/
Dependent Types" paper.

If you are interested I can share it properly (with all dependencies).

Cheers,
JP.

On Wed, Oct 28, 2009 at 1:46 PM, Noam Zeilberger
<noam.zeilberger at gmail.com> wrote:
> Just wondering if anyone has some Agda development of Containers that
> they'd be willing to share?  Trying to build some intuition...
> Noam
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ContainerTypes.agda
Type: application/octet-stream
Size: 6073 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20091028/328115c5/ContainerTypes.obj