Add LiquidHaskell
kamil-adam opened this issue · 1 comments
kamil-adam commented
https://ucsd-progsys.github.io/liquidhaskell-blog/
- Add annotation for collections
kamil-adam commented
Error:
Internal libraries only supported with per-component builds.
Per-component builds were disabled because program coverage is enabled
In the package 'attoparsec-0.14.4'