Search results

Unable to connect to a running Idris repl

Status: Open.

#94 In idris-hackers/idris-vim;

· senorsmile opened on Nov 29, 2019

Module needs reloading on any command

Status: Open.

#93 In idris-hackers/idris-vim;

· nilp0inter opened on Oct 12, 2019

Toward Idris2 support on Vim, could use advice and help

Status: Open.

#92 In idris-hackers/idris-vim;

· cheery opened on Sep 27, 2019

Documentation issue with <LeaderKey> instead of "\"

Status: Open.

#91 In idris-hackers/idris-vim;

· stephane-rolland opened on Dec 14, 2018

TypeCheck Failure Printout is unexpected

Status: Open.

#90 In idris-hackers/idris-vim;

· rutenkolk opened on Jul 30, 2018

Mention default localleader in README

Status: Open.

#89 In idris-hackers/idris-vim;

· Shou opened on Jul 27, 2018

Undo not working with idris response window

Status: Open.

#86 In idris-hackers/idris-vim;

· martinsson opened on Apr 2, 2018

Syntastic is not enabled

Status: Open.

#85 In idris-hackers/idris-vim;

· martinsson opened on Apr 2, 2018

Redundant parentheses in case split

Status: Open.

#76 In idris-hackers/idris-vim;

· dmalikov opened on Jun 28, 2017

String literal not processed correctly

Status: Open.

#67 In idris-hackers/idris-vim;

· luochen1990 opened on Apr 23, 2017

syntax "idrisIdentifier" is never matched outside "idrisTypeDecl"

Status: Open.

#66 In idris-hackers/idris-vim;

· luochen1990 opened on Apr 23, 2017

Doc comments are not formatted correctly

Status: Open.

#65 In idris-hackers/idris-vim;

· stephen-smith opened on Apr 9, 2017