Giacomo Fenzi

Hi, very quick note, you might want to change your `append` to `prepend`. At least on my system that makes sure that the pyenv shims take precedence over the system...

Hi, I have the same issue. I think the issue originates from [this line](https://github.com/edwinb/idris2-vim/blob/964cebee493c85f75796e4f4e6bbb4ac54e2da9e/ftplugin/idris2.vim#L38) ``` function! s:IdrisCommand(...) let idriscmd = shellescape(join(a:000)) " Vim does not support ANSI escape codes natively,...

Hi there, I also am experiencing this issue, on a clean Windows 10 Install and while opening previously cloned repositories. Find attached the logs for convenience [2020-04-28.desktop.production.log](https://github.com/desktop/desktop/files/4548621/2020-04-28.desktop.production.log)

For my particular use-case, curve operations and FFTs are not too relevant. I really would just want to be able to count the number of field additions, multiplications and divisions....