Issues

• Unable to connect to a running Idris repl

  idris-hackers/idris-vim#94 · Filter by author senorsmile opened on Nov 29, 2019
  2

• Module needs reloading on any command

  idris-hackers/idris-vim#93 · Filter by author nilp0inter opened on Oct 12, 2019
  1

• Toward Idris2 support on Vim, could use advice and help

  idris-hackers/idris-vim#92 · Filter by author cheery opened on Sep 27, 2019
  1

• Documentation issue with <LeaderKey> instead of "\"

  idris-hackers/idris-vim#91 · Filter by author stephane-rolland opened on Dec 14, 2018
  1

• TypeCheck Failure Printout is unexpected

  idris-hackers/idris-vim#90 · Filter by author rutenkolk opened on Jul 30, 2018

• Mention default localleader in README

  idris-hackers/idris-vim#89 · Filter by author Shou opened on Jul 27, 2018

• Undo not working with idris response window

  idris-hackers/idris-vim#86 · Filter by author martinsson opened on Apr 2, 2018
  1

• Syntastic is not enabled

  idris-hackers/idris-vim#85 · Filter by author martinsson opened on Apr 2, 2018
  2

• Redundant parentheses in case split

  idris-hackers/idris-vim#76 · Filter by author dmalikov opened on Jun 28, 2017

• String literal not processed correctly

  idris-hackers/idris-vim#67 · Filter by author luochen1990 opened on Apr 23, 2017

• syntax "idrisIdentifier" is never matched outside "idrisTypeDecl"

  idris-hackers/idris-vim#66 · Filter by author luochen1990 opened on Apr 23, 2017

• Doc comments are not formatted correctly

  idris-hackers/idris-vim#65 · Filter by author stephen-smith opened on Apr 9, 2017
  1

• <LocalLeader>d handles parenthesis incorrectly

  idris-hackers/idris-vim#59 · Filter by author SuprDewd opened on Jan 11, 2017

• Curly bracket wrongly indents the line it is inserted.

  idris-hackers/idris-vim#58 · Filter by author xekoukou opened on Oct 6, 2016

• Using the asynchronous support in Vim 8

  idris-hackers/idris-vim#57 · Filter by author melted opened on Sep 18, 2016
  2

• Case splitting results in error message "Elaborating Builtins.Pair arg A: CantUnify False ....."

  idris-hackers/idris-vim#56 · Filter by author xekoukou opened on Sep 17, 2016
  1

• Multiple loads of file during add-clause

  idris-hackers/idris-vim#55 · Filter by author steshaw opened on Sep 15, 2016

• <Leader>p over hole generates code that should not be

  idris-hackers/idris-vim#54 · Filter by author mbbx6spp opened on Aug 29, 2016
  1

• 'dirty' error message ([idris/idris])

  idris-hackers/idris-vim#50 · Filter by author michelrandahl opened on May 16, 2016
  4

• Wrong type generated by \l

  idris-hackers/idris-vim#48 · Filter by author ghost opened on Mar 13, 2016
  1

• Syntastic not displaying errors

  idris-hackers/idris-vim#45 · Filter by author hansler opened on Dec 16, 2015
  2

• Syntastic integration generates bogus command lines

  Low hanging fruit
  idris-hackers/idris-vim#39 · Filter by author cbiffle opened on Sep 6, 2015

• REPL for lidr ?

  idris-hackers/idris-vim#36 · Filter by author TimRichter opened on Apr 3, 2015
  4

• Wrong indentation of clauses on <LocalLeader>m

  idris-hackers/idris-vim#33 · Filter by author dkasak opened on Jan 30, 2015
  1

• vim does not recognize identifiers with '

  idris-hackers/idris-vim#29 · Filter by author Melvar opened on Dec 29, 2014
  3