Skip to content

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

License

Notifications You must be signed in to change notification settings

ucsd-progsys/lh-plugin-demo-client

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published