| Safe Haskell | Safe-Infered |
|---|
Language.Haskell.Liquid.ANFTransform
Documentation
anormalize :: HscEnv -> MGIModGuts -> IO [CoreBind]Source
liquidtypes-0.1: Liquid Types for Haskell
| Safe Haskell | Safe-Infered |
|---|
Language.Haskell.Liquid.ANFTransform
anormalize :: HscEnv -> MGIModGuts -> IO [CoreBind]Source