Language.Haskell.Liquid.Tidy

Tidying functions

tidySpecType

tidySymbol

Tidyness tests

isTmpSymbol