juvix icon indicating copy to clipboard operation
juvix copied to clipboard

Published 20 hours ago • verified publisher icon anoma

Letrec lifting

Open janmasrovira opened this issue 2 years ago • 0 comments

closes #1516. This pr adds letrec lifting to the lambda lifting transformation. It also adds the flags --eval and no-print to the juvix dev core read command.

janmasrovira avatar Oct 05 '22 17:10 janmasrovira