[Agda] eta expansion

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Fri Mar 8 16:43:24 CET 2013

On Fri, Mar 8, 2013 at 10:37 AM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
> you might wanna talk to Andres Sicard-Ramirez who very recently asked a
> similar question on this list.

Actually, I asked the opposite question: How disable the
eta-reduction. If this is what you need, please let me know.



More information about the Agda mailing list