[Agda-dev] On the internal representation of clauses

[Jesper Cockx]

On Wed, Jul 8, 2015 at 10:58 AM, Nicolas Pouillard <np at nicolaspouillard.fr>
wrote:

>
> Would it help to produce the old representation on the fly? This could
> help you towards the migration, to get a more incremental process.
>

This seems like a good plan. I'll try to implement a conversion between the
two representations.

Jesper


>
> --
> Best regards,
> -- NP
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150708/fcc8e401/attachment.html