Safe Haskell | Safe-Infered |
---|
- 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.
Safe Haskell | Safe-Infered |
---|
betaReduce :: Ord n => Exp a n -> Exp a nSource
Beta-reduce applications of a explicit lambda abstractions to variables and values.