| Safe Haskell | Safe-Infered |
|---|
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.1: Disciple Core language simplifying code transformations.
| Safe Haskell | Safe-Infered |
|---|
DDC.Core.Transform.ANormal
anormalise :: Ord n => Exp a n -> Exp a nSource
Convert an expression into a-normal form