Jason Manuel

In the light version of the atom-material-ui theme you end up with white text against a white background. 

I encountered a very similar error just recently. I built koka from the master branch and didn't get the error after a bit of testing.

Thanks for the response! I might try ;)

@icecream17 I changed my init script according to your suggestion, and I still got an error about IndexedDB after reloading the window and after opening a new window.

It turns out I was running two different versions of Atom at the same time. I don't know how that happened; my guess is that an upgrade happened while I...

Try indenting 4 spaces from _from the space after the list marker_. Like this: ``` 1. one 2. two 3. three There is no normal text between the preceding numbered...

@TimWhiting I haven't used Koka in months, and I can tell a lot of work has been done 😆. But I will try to (remember how to) reproduce the bug...

I encountered this error after adding a file path to my PATH user environment variable on Windows. Rapid Environment Editor warned me that the value of PATH is longer than...

The corresponding change in emacs idris-mode: https://github.com/idris-hackers/idris-mode/commit/762eda0a047f25ac76854f86ad3a1c7910b96c95#diff-57c9b17a4d33ee59f640d96a562f576b22d600b5adb02038a989e8eb1d2e76c5R89

I think the compiler is restarted every time any of the `compilerOptions` change, including the source directory, which makes the invocation of `:cd` redundant. And currently, I can't reproduce this...