Support letrec lifting without lambda lifting#1794

Merged

lukaszcz merged 4 commits intomainfrom 1756-support-letrec-in-the-geb-backend

Feb 2, 2023

+102-44

Commits on Feb 2, 2023

rename LambdaLifting -> LambdaLetRecLifting

janmasrovira
authored and
lukaszcz
committed
add letrec lifting

janmasrovira
authored and
lukaszcz
committed
implement only letrec

janmasrovira
authored and
lukaszcz
committed
add tests

janmasrovira
authored and
lukaszcz
committed