Search results

Commands not loaded (neovim)

Status: Open.

#61 In derekelkins/agda-vim;

· danjenson opened on Jan 12, 2023

Load times slower than emacs mode

Status: Open.

#50 In derekelkins/agda-vim;

· msuperdock opened on Jan 1, 2020

Hangs on Windows when opening agda file

Status: Open.

#47 In derekelkins/agda-vim;

· isti115 opened on Nov 12, 2019

Extend the utf-8 file

Status: Open.

#31 In derekelkins/agda-vim;

· nkaretnikov opened on Feb 28, 2018

Python 3 Support

Status: Open.

#26 In derekelkins/agda-vim;

· tc-0 opened on Mar 22, 2017

Make Agda usage (or at least Agsy usage) asynchronous

enhancement

Status: Open.

#18 In derekelkins/agda-vim;

· derekelkins opened on Jul 12, 2016