Open mgsloan opened 7 years ago
Pinging @kantp , I think we should add Liquid Haskell to our CI, since we now have code that uses it!
I have opened https://github.com/commercialhaskell/stack/issues/2641 to track the idea of adding direct support for liquid haskell, to stack.
That's a good idea!
Pinging @kantp , I think we should add Liquid Haskell to our CI, since we now have code that uses it!