ucsd-progsys / lh-plugin-demo-client

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

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

• stack.yaml

• cabal.project

Here's a VSCode screenshot