ddc-core-simpl-0.2.1.2: Disciple Core language simplifying code transformations.

Safe HaskellSafe-Inferred

DDC.Core.Transform.Beta

Synopsis

Documentation

betaReduce :: Ord n => Exp a n -> Exp a nSource

Beta-reduce applications of a explicit lambda abstractions to variables and values.