Re: Difference letrec & environment binding (again)

[Ludovic Courtès]

Hello!

Hans Aberg <haber...@telia.com> skribis:

> So letrec is transformed to something else. What might that be?

I believe you’re seeing the “Fixing letrec” algorithm in action (see the
paper of that name by Dybwig et al.)

Thanks,
Ludo’.