/lh-plugin-demo-client

Client package that shows how to import LH specifications from an external package

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

LiquidHaskell as a GHC Plugin

This repo demonstrates how to use LiquidHaskell as a GHC plugin.

Specifically, it shows how we use the liquid type specifications written for functions defined in the lh-plugin-demo package in client packages.

For details see the files

Here's a VSCode screenshot

VSCode with Simple-GHC plugin