Et nytt verktøy kobler forfatterens idéer om e-graf-løfting til en egraph som støtter veldefinerte, alfa-bevisste bindere, med tilhørende artikkel og video.

Kilde: https://www.philipzucker.com/lambda_miller_egg/