我有一个使用堆栈构建的项目并且需要 GHC 8。鉴于它需要 GHC 8，是否可以在我的项目中使用 Liquid Haskell？如果是这样，我应该如何安装和执行 Liquid Haskell？
谢谢！
问问题
273 次
1 回答
1
是的！您可以 -- LH 现在支持 GHC 8.0.2（还不是 8.2...）您可以按照此处的说明构建/运行：
https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md#build-with-stack-recommended
于 2017-09-06T23:08:12.830 回答