Permalink
Failed to load latest commit information.
src/LiquidHaskell Filter GHC flags that conflict with LH internals May 7, 2016
.gitignore Initial commit Feb 18, 2016
LICENSE Initial commit Feb 18, 2016
README.md Add build-depends instructions to README May 12, 2016
Setup.hs Set up project, add Setup.hs hooks Mar 7, 2016
liquidhaskell-cabal.cabal Tweak capitalization in .cabal file May 7, 2016
stack.yaml Add stack.yaml Mar 10, 2016