derekelkins/agda-vim

Issues

• Commands not loaded (neovim)

  #61 opened 2 years ago by danjenson
  3

• Python 3 Support

  #26 opened 8 years ago by tc-0
  1

• (Seemingly) fail to handle multiple responses from Agsy

  #22 opened 2 years ago by favonia
  5

• Filename not matching module name leads to obscure errors

  #54 opened 4 years ago by blakej11
  1

• Unknown function: AgdaMakeCase

  #55 opened 4 years ago by VDVinh
  2

• Load times slower than emacs mode

  #50 opened 5 years ago by msuperdock
  1

• Support for `*.lagda.md`?

  #49 opened 5 years ago by tgeng
  3

• Normalize doesn't seem to do anything (Agda 2.6.0.1)

  #48 opened 5 years ago by spearman
  3

• Hangs on Windows when opening agda file

  #47 opened 5 years ago by isti115
  1

• Make Agda usage (or at least Agsy usage) asynchronous

  #18 opened 8 years ago by derekelkins
  1

• warns when edit from other directories

  #42 opened 6 years ago by 0kaguya
  2

• Add support for "Go to definition of identifier under point"

  #41 opened 6 years ago by srghma
  4

• agda stdlib permission errors

  #38 opened 6 years ago by sanderr
  5

• Error: First load the file.

  #33 opened 7 years ago by VictorTaelin
  2

• Extend the utf-8 file

  #31 opened 7 years ago by nkaretnikov
  1

• Normalize broken for Agda 2.5.3

  #30 opened 7 years ago by kellino
  1

• As of Agda 2.5.3-alpha1, agda-vim doesn't work

  #27 opened 7 years ago by madgen
  3

• Python being parsed as Vimscript

  #19 opened 8 years ago
  6

• Ability to disable the insert-mode \ unicode entry

  #20 opened 8 years ago by HalosGhost
  11

• Support Agda 2.6.0

  #16 opened 8 years ago by nkaretnikov
  4

• regexp bug, using spf13-vim

  #3 opened 9 years ago by victoredwardocallaghan
  0

• Unclear Instructions

  #10 opened 9 years ago by arey0pushpa
  1

• Cannot resize buffers with C-w =

  #14 opened 9 years ago by nkaretnikov
  1

• Some commands don't work: "E129: Function name required"

  #13 opened 9 years ago by nkaretnikov
  5

• Input problems: lags after pressing the spacebar, unicode input

  #12 opened 9 years ago by nkaretnikov
  3

• Mixfix declaration gets rewritten as a prefix one

  #11 opened 9 years ago by nkaretnikov
  1

• Goal not loaded when {! !} in comments.

  #9 opened 9 years ago by jaklt
  1

• Python plugin

  #7 opened 10 years ago by david-christiansen
  2

• Any chance of some documentation?

  #1 opened 10 years ago by dpiponi
  1

• after/syntax/agda.vim should be moved to ftplugin/agda.vim ?

  #6 opened 10 years ago by sheerun
  1