liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.TransformRec

Documentation

transformRecExpr :: CoreProgram -> CoreProgramSource