« Changelog History


liquidhaskell v0.8.2.2 Release Notes

Release Date: 2017-12-28 // over 6 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