| Safe Haskell | Safe-Inferred |
|---|
DDC.Core.Transform.Beta
- betaReduce :: Ord n => Exp a n -> Exp a n
Documentation
betaReduce :: Ord n => Exp a n -> Exp a nSource
Beta-reduce applications of a explicit lambda abstractions to variables and values.
ddc-core-simpl-0.2.1.2: Disciple Core language simplifying code transformations.
| Safe Haskell | Safe-Inferred |
|---|
DDC.Core.Transform.Beta
betaReduce :: Ord n => Exp a n -> Exp a nSource
Beta-reduce applications of a explicit lambda abstractions to variables and values.