GitHub repository: ucsd-progsys/lh-plugin-demo
Primary language: Haskell
Created: 2020-06-24T23:10:50Z
Description: A small package that demonstrates how to use LiquidHaskell as a GHC plugin