Comments (2)
I have opened commercialhaskell/stack#2641 to track the idea of adding direct support for liquid haskell, to stack.
from store.
That's a good idea!
from store.
Related Issues (20)
- Couldn't match type โ'Falseโ with โ'Trueโ HOT 2
- Build failures with GHC-7.10.3 and GHC-7.8.4 HOT 4
- Odd constraint on Identity instance HOT 1
- Support for GHC-8.8
- store-0.6.0 fails to build with GHC-7.10 and GHC-7.8 HOT 2
- Build fails on new vector version HOT 11
- Build failure in store-0.7.2 with GHC 8.10.1 HOT 7
- Serialization roundripping of Template Haskell datatypes disabled due to Bytes' Eq instance HOT 2
- store-0.7.6 test suite fails to compile HOT 1
- Natural instance for Store? HOT 3
- Can't build with ghc-prim-0.70 HOT 3
- Update compatability matirx for ghc 7.8.4 HOT 2
- Store instances for TimeOfDay and LocalTime? HOT 1
- Support for GHC 9? HOT 6
- Build failure with time >= 1.11 HOT 1
- `Lift TypeHash` doesn't implement `liftTyped` HOT 1
- store-0.7.13 fails to build with GHC 8.10 HOT 4
- No CI HOT 1
- HLint is triggered.
- store fails to build with vector-0.13.0.0 HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. ๐๐๐
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google โค๏ธ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from store.