[Agda-dev] On the internal representation of clauses

[Nicolas Pouillard]

On 07/07/2015 08:26 PM, Jesper Cockx wrote:

[...]

> All in all, I think this refactoring would make the internal syntax of
> function definitions significantly more understandable and easier to
> handle. What are your opinions on this issue?

I'm all supportive of this refactoring.

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

-- 
Best regards,
-- NP