Language.Haskell.Liquid.DiffCheck

Changed binders + Unchanged Errors

data DiffCheck

Use previously saved info to generate DiffCheck target

slice

Use target binders to generate DiffCheck target

thin

Save current information for next time

saveResult