Search results

Link to Interactive Idris editing with vim goes to private wordpress page

Status: Open.

#32 In edwinb/idris2-vim;

· ShaunApps opened on Dec 15, 2022

Plugin does not load correctly on neovim / vim-plug

Status: Open.

#26 In edwinb/idris2-vim;

· space-shell opened on Jan 9, 2021

File error in --no-color: File Not Found

Status: Open.

#19 In edwinb/idris2-vim;

· yoeluk opened on Nov 28, 2020

Not working at all

Status: Open.

#15 In edwinb/idris2-vim;

· CTHULHU-Jesus opened on Jul 29, 2020

Syntastic does not work out of the box

Status: Open.

#14 In edwinb/idris2-vim;

· freddi301 opened on Jul 15, 2020

MakeWith is broken

Status: Open.

#10 In edwinb/idris2-vim;

· stephen-smith opened on May 27, 2020