liquidhaskell v0.8.10.1 Release Notes
Release Date: 2020-08-06 // almost 2 years ago-
🚀 This is the first release of LiquidHaskell as a GHC Plugin, compatible with GHC 8.10.
🚀 This is the first release of LiquidHaskell as a GHC Plugin, compatible with GHC 8.10.