Skip to content
Juvix Compiler CI

Don't fold lets if the let-bound variable occurs under a lambda-abstraction #8445

Sign in to view logs

Don't fold lets if the let-bound variable occurs under a lambda-abstraction

Don't fold lets if the let-bound variable occurs under a lambda-abstraction #8445

pre-commit

pre-commit
succeeded Sep 13, 2024 in 9s