Comments (3)
The author @jfredett is on github, but the project is not. The hackage package lists not source repo.
from copilot.
Ok, the problem is not pretty-ncols. That seems not to be used. The problem is that the submodules point to the wrong place.
from copilot.
pretty-ncols is an unmaintained library, which has never been updated to GHC >= 8.4.
In Copilot 3.0, pretty-ncols is not a dependency anymore.
from copilot.
Related Issues (20)
- `copilot-core`: record field `uTypeType` is unnecessary
- Release 3.18 HOT 6
- `copilot`: Extend range of versions `optparse-applicative` HOT 6
- `copilot-theorem`: Failure to compile with GHC 9.6.3 HOT 6
- Release 3.18.1 HOT 6
- `copilot-theorem`: `kind2Prover` gives parse error when disproving a property HOT 10
- ' ' is not a nondigit error HOT 4
- Formal methods with stateful functions HOT 4
- `copilot-core`: Remove deprecated functions in `Copilot.Core.Type` and `Copilot.Core.Type.Array` HOT 6
- `copilot-core`: Increase test coverage HOT 6
- Release 3.19 HOT 6
- `copilot-c99`: Can C99 generator declare stream functions as static? HOT 12
- Release 3.19.1 HOT 6
- `copilot-theorem`: Extend range of versions `what4` to include 1.6 HOT 7
- `copilot-language`: Remove deprecated function `Copilot.Language.Spec.forall` HOT 6
- `copilot-language`: Support modifying fields of structs HOT 6
- Release 3.20 HOT 6
- `copilot-theorem`: Support translating struct updates to `what4` HOT 5
- `copilot-core`: Add documentation for `updateField` describing how (and why) to implement it
- `copilot-prettyprinter`: Support pretty-printing struct updates HOT 5
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 copilot.