17 September 2026
Restoring type class support in Liquid Haskell
An internship experience report on reenabling type class support in Liquid Haskell
liquidhaskell
11 June 2026
Writing static checks to an unsuspecting library with Liquid Haskell
A self-contained example showcasing formal verification using Liquid Haskell
11 September 2025
Qualified Imports and Alias Resolution in Liquid Haskell
The story of how I implemented qualified aliases in Liquid Haskell
20 March 2025
A hundred pull requests for Liquid Haskell
An overview of the improvements in the latest Liquid Haskell release
6 February 2025
The refactoring of a Haskell codebase
An experience report of a somewhat large refactoring of Liquid Haskell
12 September 2024
Reflecting away from definitions in Liquid Haskell
Internship report: Extensions to the reflection mechanism of Liquid Haskell to handle functions from dependencies.
30 May 2024
Liquid Haskell through the compilers
An experience report on plugin upgrades
22 June 2023
Assumptions for Liquid Haskell in the large
A revamp of the mechanism for introducing assumptions
14 February 2023
smtlib-backends: faster SMT-LIB-based Haskell interface to SMT solvers
Announcement of smtlib-backends, a Haskell library providing a generic interface for interacting with SMT solvers using SMT-LIB
28 July 2022
Profiling non-CPU time in Haskell
Limitations of the GHC profiler and announcement of the timestats library
21 July 2022
A dialogue with Liquid Haskell
New features to understand old verification failures
19 January 2022
Why Liquid Haskell matters
On the relevance of Liquid Haskell in programming languages