Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / spinda/liquidhaskell-cabal-demo issues and pull requests

#3 - liquidhaskell Cabal flag is not used anywhere

Issue - State: closed - Opened by peti almost 6 years ago - 1 comment

#2 - liquidhaskell-cabal-demo-0.2.0.0 does not compile

Issue - State: closed - Opened by peti almost 6 years ago - 2 comments

#1 - Update to GHC 8.6

Pull Request - State: closed - Opened by ranjitjhala almost 6 years ago - 1 comment