liquidhaskell v0.8.10.1 Release Notes

Release Date: 2020-08-06 // over 1 year ago
  • 🚀 This is the first release of LiquidHaskell as a GHC Plugin, compatible with GHC 8.10.