ucsd-progsys / lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin
24Updated 3 months ago

Related projects

Alternatives and complementary repositories for lh-plugin-demo