| Safe Haskell | Safe-Inferred |
|---|
DDC.Core.Transform.ANormal
- anormalise :: Ord n => Exp a n -> Exp a n
Documentation
anormalise :: Ord n => Exp a n -> Exp a nSource
Convert an expression into a-normal form
ddc-core-simpl-0.2.1.2: Disciple Core language simplifying code transformations.
| Safe Haskell | Safe-Inferred |
|---|
DDC.Core.Transform.ANormal
anormalise :: Ord n => Exp a n -> Exp a nSource
Convert an expression into a-normal form