DDC.Core.Transform.Lambdas

Documentation

lambdasModule :: (Show a, Pretty a, Show n, Pretty n, Ord n, CompoundName n) => Profile n -> Module a n -> Module a n

Perform lambda lifting in a module.