Jan Corazza

Yeah it seems like the command isn't working: https://github.com/zjhmale/vscode-idris/issues/118 Which is too bad I really wanted to switch to VS Code, but I can't stand when trivial stuff doesn't work:)

Same here. Fedora (4.17.12-200.fc28.x86_64)

I have this problem with Atom 1.34.0. Manjaro Linux, Idris 1.3.1, language-idris 0.5.0

@cspencer49519 Thank you, that seems to have fixed it! Do you know a similar fix for automatically installing Windows Defender updates? I believe this software also messed that up. It...

@felixvuo thanks, any idea how to use it in PySAT? I tried searching the repo, there don't appear to be any references to `syrup` in the code

@alexeyignatiev Hi, I don't have a lot of experience with SAT solvers and I don't know how they work, but is that really the best that can be done in...

Ah right, you mean if I have `A(X1, ..., Xn)` I could split it into `A(0, ..., Xn)` and `A(1, ..., Xn)` and it should be faster

Thank you for this response, and for your time! And sorry for not getting back to you, I'm on a pause from this project until the semester is over, and...