idris-hackers/idris-vim

Issues

• Can't see the type of some holes in a where block

  #49 opened 3 months ago by yacinehmito
  4

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

  #92 opened 5 years ago by cheery
  1

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

  #91 opened 6 years ago by stephane-rolland
  1

• Unable to connect to a running Idris repl

  #94 opened 5 years ago by senorsmile
  2

• Module needs reloading on any command

  #93 opened 5 years ago by nilp0inter
  1

• Undo not working with idris response window

  #86 opened 6 years ago by martinsson
  1

• Expose functions as commands instead of only leader keybindings

  #63 opened 6 years ago by lpil
  0

• Unable to connect to a running idris repl

  #84 opened 6 years ago by ivanperez-keera
  4

• TypeCheck Failure Printout is unexpected

  #90 opened 6 years ago by rutenkolk
  0

• Mention default localleader in README

  #89 opened 6 years ago by Shou
  0

• Syntastic is not enabled

  #85 opened 6 years ago by martinsson
  2

• Is there any way to evaluate an expression?

  #87 opened 6 years ago by VictorTaelin
  1

• Unable to connect to a running Idris repl

  #82 opened 7 years ago by pe200012
  2

• What about lifting/extracting holes?

  #79 opened 7 years ago by bentxt
  1

• <LocalLeader>t resets cursor location to beginning of line

  #35 opened 7 years ago by LeifW
  4

• Redundant parentheses in case split

  #76 opened 7 years ago by dmalikov
  0

• Wrong indentation of clauses on <LocalLeader>m

  #33 opened 10 years ago by dkasak
  1

• Wrong highlighting

  #75 opened 7 years ago by srghma
  0

• strip ? from hole name before passing it to idris?

  #74 opened 7 years ago by pacak
  2

• Retrieving type of holes is broken

  #69 opened 7 years ago by dkasak
  1

• How do you change the syntax coloring?

  #47 opened 7 years ago by danielbarter
  3

• Wrong type generated by `\l`

  #48 opened 9 years ago
  1

• String literal not processed correctly

  #67 opened 7 years ago by luochen1990
  0

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

  #66 opened 7 years ago by luochen1990
  0

• Doc comments are not formatted correctly

  #65 opened 7 years ago by stephen-smith
  1

• REPL for lidr ?

  #36 opened 9 years ago by TimRichter
  4

• <LocalLeader>d handles parenthesis incorrectly

  #59 opened 8 years ago by SuprDewd
  0

• Curly bracket wrongly indents the line it is inserted.

  #58 opened 8 years ago by xekoukou
  0

• Using the asynchronous support in Vim 8

  #57 opened 8 years ago by melted
  2

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

  #54 opened 8 years ago by mbbx6spp
  1

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

  #56 opened 8 years ago by xekoukou
  1

• Multiple loads of file during add-clause

  #55 opened 8 years ago by steshaw
  0

• Odd <LocalLeader>d Behavior

  #32 opened 8 years ago by DavidHarrison
  3

• Syntastic not displaying errors

  #45 opened 9 years ago by hansler
  2

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

  #50 opened 8 years ago by michelrandahl
  4

• Connect to existing REPL (as when using tmux)

  #17 opened 9 years ago by karljs
  1

• Idris response window empty,

  #43 opened 9 years ago by j-walk
  0

• Document \b command

  #30 opened 9 years ago by LeifW
  1

• Syntastic integration generates bogus command lines

  #39 opened 9 years ago by cbiffle
  0

• vim does not recognize identifiers with '

  #29 opened 10 years ago by Melvar
  3

• Idris not started?

  #34 opened 10 years ago by NobbZ
  4

• Cannot import files with a space in path

  #25 opened 10 years ago by DavidHarrison
  0

• Syntax highlighting: prepending 'total' keyword to top-level declaration changes color of binding from declaration color to identifier color

  #23 opened 10 years ago by eamsden
  0

• Add unicode concealing?

  #22 opened 10 years ago by japesinator
  0

• Template creation via <LocalLeader>d not adding patterns for parameters

  #10 opened 10 years ago by apriori
  5

• syntastic interferes w/ interactive functionality when .ibc files present

  #9 opened 11 years ago by LeifW
  0

• Case split using <LocalLeader>c does not work

  #11 opened 10 years ago by apriori
  2

• Syntastic not showing more than first line of error.

  #1 opened 11 years ago by LeifW
  2

• Change syntastic to use idris --client?

  #6 opened 11 years ago by LeifW
  1

• Syntastic 3.2 support

  #3 opened 11 years ago by LeifW
  1