edwinb/idris2-vim

Issues

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

  #32 opened 2 years ago by ShaunApps
  0

• Plugin does not load correctly on neovim / vim-plug

  #26 opened 4 years ago by space-shell
  2

• I do not even get syntax highlighting

  #23 opened 4 years ago by hbr
  3

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

  #19 opened 4 years ago by yoeluk
  6

• Not working at all

  #15 opened 4 years ago by CTHULHU-Jesus
  1

• Syntastic does not work out of the box

  #14 opened 4 years ago by freddi301
  0

• MakeLemma doesn't transport erasable implicit arguments that must be explicitly bound for type checking

  #12 opened 4 years ago by stephen-smith
  3

• Case splitting inserts invalid code that uses "$resolvedXXX" as an identifer.

  #11 opened 4 years ago by stephen-smith
  1

• MakeWith is broken

  #10 opened 4 years ago by stephen-smith
  0