Safe Haskell | Safe-Inferred |
---|
- 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
Safe Haskell | Safe-Inferred |
---|
anormalise :: Ord n => Exp a n -> Exp a nSource
Convert an expression into a-normal form