Steve Biedermann
Steve Biedermann
I have two graphics cards. The integrated one (Intel i5; OpenGL 1.1) and a dedicated one (ATI Radeon 4300/4500; OpenGL 3.2). The radeon should be able to run the software....
@blackbeam No problem. I will look into #5.
@SeanTAllen any updates on this?
Thanks for the info.
Well, with an array I can have duplicates. This is valid json, but I don't know which version will be used: ```json [ { "name": "a", "version": "1.2.3" }, {...
@mfelsche Yeah, that seems more correct. @SeanTAllen Sure, but most tools already handle duplicate keys. VSCode tells you out of the box that you have a duplicate key.  Edit:...
I think that makes sense. But how do you decide which version to import? Wouldn't it be better that each module would have their own corral.json with their own dependencies...
I don't see the problem with `Map`. Consider the future existance of a package repository. In this case the simplest entry you can have is: ```json { "deps": { "dependencyName":...
By default the file is installed to: /usr/local/lib But it seems that ubuntu doesn't include that dir when searching for so file. Simple fix: sudo ln -s /usr/local/lib/libcolm-0.14.7.so /lib/libcolm-0.14.7.so
You don't need to load a large project. I had loaded a small test [file](https://github.com/idris-lang/Idris-dev/files/1449889/test.idr.txt) and let it open in the background for a few hours. Suddenly my computer startet...