liquidhaskell v0.8.2.2 Release Notes

Release Date: 2017-12-28 // almost 4 years ago
    • ๐Ÿ‘Œ Support for GHC 8.2.2

    • ๐Ÿ‘Œ Support for GADTs and TypeFamilies, see

      • tests/{pos,neg}/ExactGADT*.hs
    • โž• Add support for Bags/Multisets, see

      • tests/pos/bag.hs
      • tests/neg/bag.hs
      • tests/pos/ListISort-bag.hs
    • Add support for inductive predicates see

      • tests/pos/IndEven.hs
      • tests/pos/IndPerm.hs
      • tests/pos/IndStar.hs