Steve Biedermann

Results 67 comments of 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?

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. ![grafik](https://user-images.githubusercontent.com/2937272/81296496-48300700-9072-11ea-942d-cc974757ce29.png) 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...