Reflecting away from definitions in Liquid Haskell
Tweag
SEPTEMBER 11, 2024
In this post, I will discuss the contributions I made during my internship to Liquid Haskell (LH), a tool that makes proving that your Haskell code is correct a piece of cake. LH lets you write contracts for your functions inside your Haskell code. These are then fed into an SMT solver that proves your code satisfies them!
Let's personalize your content