| Safe Haskell | Safe-Infered |
|---|
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.0.1: Disciple Core language simplifying code transformations.
| Safe Haskell | Safe-Infered |
|---|
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.