# A Liquid Haskell Kick-Start

**URL:** <https://discourse.haskell.org/t/a-liquid-haskell-kick-start/12550>\
**Category:** Links\
**Created:** [July 25, 2025, 2:03am UTC](https://discourse.haskell.org/t/a-liquid-haskell-kick-start/12550 "2025-07-25T02:03:18Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![ninioArtillero](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/ninioartillero/32/4285_2.png) [@ninioArtillero](https://discourse.haskell.org/u/ninioArtillero)\
**Post date:** [July 25, 2025, 2:03am UTC](https://discourse.haskell.org/t/a-liquid-haskell-kick-start/12550/1 "2025-07-25T02:03:18Z")

</div>

In this post I give a brief introduction to Liquid Haskell.

> **[A Liquid Haskell Kick-Start](https://ninioartillero.github.io/2025/04/15/lh-kickstart.html)**
>
> In this tutorial post, I introduce Liquid Haskell (LH), present a step-by-step installation procedure, and work through a simple example of its use. As a bonus, we will see how to use a local LH build in our projects.