[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.

Best,

-- 
Andrés


More information about the Agda mailing list