The story of how I implemented qualified aliases in Liquid Haskell

An overview of the improvements in the latest Liquid Haskell release

An experience report of a somewhat large refactoring of Liquid Haskell

Internship report: Extensions to the reflection mechanism of Liquid Haskell to handle functions from dependencies.

An experience report on plugin upgrades

A revamp of the mechanism for introducing assumptions

Announcement of smtlib-backends, a Haskell library providing a generic interface for interacting with SMT solvers using SMT-LIB

Limitations of the GHC profiler and announcement of the timestats library

New features to understand old verification failures

On the relevance of Liquid Haskell in programming languages