« Changelog History


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.