[Agda] eta expansion

Martin Escardo m.escardo at cs.bham.ac.uk
Mon Mar 11 12:01:10 CET 2013



On 09/03/13 23:09, Andreas Abel wrote:
> (However, probably
> one should still provide the current liberal data types to users that
> rely on them...).

I definitely agree.

Martin



More information about the Agda mailing list