ucsd-progsys/lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin

语言：Haskell · GitHub 星标：25 · Fork：16

在 GitHub 上查看原仓库