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